[math-fun] Biggest Little Octagon