Можно попробовать по индукции
x_1 <= 2
Пусть x_n <= 2.
x_{n + 1} = (2 + x_n)^(1/2) <= (2 + 2)^(1/2) = 4^(1/2) = 2
Вот вроде бы и всё.