Es probable que un argumento que utiliza el hecho de que $a_0,a_2,\dots$ $a_1,a_3,\dots$ son monotonía es la intención. Damos un cálculo más al estilo de argumento.
Si el límite existe, deja de ser $b$. A continuación,$b=\frac{1}{2+b}$, y por lo tanto $b=\sqrt{2}-1$.
Todas las $a_n$$\ge 0$.
Deje $f(x)=\frac{1}{2+x}$. A continuación,$f'(x)=-\frac{1}{(2+x)^2}$. Tenga en cuenta que $f(b)=b$.
Por lo tanto $a_{n+1}-b=f(a_n)-f(b)$
Por el Teorema del Valor medio
$$f(a_n)-f(b)=(a_n-b)f'(c)$$
para algunos $c$$a_n$$b$. La derivada tiene valor absoluto $\lt \frac{1}{4}$. De ello se sigue que
$$|a_{n+1}-b|\le \frac{1}{4}|a_n-b|,$$
y por lo tanto la secuencia converge a $b$.
Nota: Si desea utilizar el Criterio de Cauchy, el mismo MVT argumento mostrará que
$$|a_{n+2}-a_{n+1}|\le \frac{1}{4}|a_{n+1}-a_n|.$$