 Solution

The fixed-point iteration stays inside $[0,7]$ because $G$ maps that interval to itself. A fixed point satisfies $\xi =\sqrt{2+\xi }$, so $\xi \ge 0$ andOnly $\xi =2$ is admissible; $-1$ fails the unsquared equation. With $q=1/(2\sqrt{2})$, the mean value theorem gives the error boundInduction yields $|x_k-2|\le q^k|x_0-2|\le 5q^k\to 0$, since $0<q<1$. Therefore, for every allowed starting value,This estimate proves convergence directly, without assuming in advance that the sequence has a limit.