User:LkNsngth/formula

cos(\pi/2^{n+1}) = \frac{1}{2}(\sqrt{2 + cos(\pi/2^n)})