Why do we have $\lim \sqrt {2 - \sqrt {2 + \sqrt {2 + \sqrt 2 ...}}} (1/2)^n = \pi $ ?
Here $...$ means repeating $n$ times.
I assume it comes from repeated half-angle formulas.
Is this the case ? And if so, is there another way to prove the identity too ???