I already found out that this sequence is bounded above and $a_n <2 \forall n \in \mathbb Z_+ $
I think I'm missing a point as I can't think of a way to prove that the sequence is increasing.
I already found out that this sequence is bounded above and $a_n <2 \forall n \in \mathbb Z_+ $
I think I'm missing a point as I can't think of a way to prove that the sequence is increasing.
Assume $\exists n$ such that $a_{n+1}-a_n\leq0$.
Then:
$$\sqrt{2+a_n}-a_n\leq0\\ a_n^2-a_n-2=(a_n-2)(a_n+1)\geq 0$$
So $a_n$ is increasing for all $n$ such that $-1<a_n<2$, where the inequality does not hold, and thus provides a contradiction to our assumption of $n$ being non-decreasing at a point.
Another way to see that $a_n < 2$ is the function $f(x) = \sqrt{2+x}$ is increasing, and further: $a_{n+1} - a_n = \sqrt{2+a_n} - a_n > \sqrt{2a_n} - a_n = \sqrt{a_n}\cdot \left(\sqrt{2} - \sqrt{a_n}\right) > 0$