Tengo el siguiente límite:
Si $z_{n+1}=\dfrac{1}{2}\left(z_n+\dfrac{1}{z_n}\right)$ para $n \in \mathbb{N}\cup \{0\}$ e $-\dfrac{\pi}{2}<arg(z_0)<\dfrac{\pi}{2},$ a continuación, $$\lim_{n \rightarrow \infty} z_n=1.$$
He tratado de buscar un recurent fórmula, pero cada vez se pone peor y peor. También he tratado de poner el $z_0=|z_0|e^{i \theta}$ para$-\dfrac{\pi}{2}<\theta<\dfrac{\pi}{2},$, pero estoy muy atascado.
Cualquier sugerencia se agradece.