Considere la secuencia $\{0,1,\sqrt{2},\sqrt{2}^{\sqrt{2}},\sqrt{2}^{\sqrt{2}^{\sqrt{2}}},\ldots\}$ . En otras palabras, la secuencia con $a_0=0$ y $a_{n+1}=\sqrt{2}^{a_{n}}$ .
Tenga en cuenta que $a_0<2$ . Supongamos que para algunos $n$ que $a_n<2$ . Entonces $a_{n+1}=\sqrt{2}^{a_n}<\sqrt{2}^2=2$ . Así que por inducción, $a_n<2$ para todos $n$ .
Tenga en cuenta que $a_0<a_1$ . Supongamos que para algunos $n$ que $a_{n-1}<a_n$ . Entonces $\sqrt{2}^{a_{n-1}}<\sqrt{2}^{a_n}$ Así que $a_n<a_{n+1}$ . Así que por inducción, $a_n<a_{n+1}$ para todos los valores de $n$ . En otras palabras, la secuencia es creciente.
Entonces tenemos que esta secuencia es creciente y acotada por encima. Por tanto, converge a algún límite $L$ . Esto significa que $$\begin{align} a_{n+1}&=\sqrt{2}^{a_n}\\ \lim_{n\to\infty}a_{n+1}&=\lim_{n\to\infty}\sqrt{2}^{a_n}\\ L&=\sqrt{2}^L\\ \end{align}$$
Por concavidad, sólo hay dos soluciones para esta ecuación, y afortunadamente es fácil identificar ambas: $L=2$ o $L=4$ . Pero $L$ no puede ser $4$ ya que la secuencia estaba acotada por $2$ .
Así que esto establece que $\lim_{n\to\infty}a_{n}$ existe y que su valor es $2$ .
1 votos
Ver tetración infinita .