[math-fun] Surprisingly simple sin pi/2n