Es la secuencia $x_1=0,\; x_{n+1}=\sqrt{2+x_n}$. Probar: $$\lim_{n\rightarrow \infty} 2^n \sqrt{2-x_n}=\pi$ $
Sugerencia:
Utilice las siguientes fórmulas: $$\cos\left(\frac{x}{2}\right)=\sqrt{\frac{1+\cos x}{2}}$ $ $$\sin\left(\frac{x}{2}\right)=\sqrt{\frac{1-\cos x}{2}}$ $
¿Alguna idea como solucionar este problema?