Ересь не ересь, но что-то безумно длинное. После того, как по картинке с поведением последовательности всё стало ясно, формально это обосновывается уже совсем легко. Неравенство

означает, что

, что сразу даёт

. С другой стороны,

равносильно

. В совокупности это означает, что если хотя бы один член последовательности попал в этот интервал, то и все следующие из него не выйдут, а значит, последовательность дальше будет лишь возрастать.
(На самом деле не нужно было даже решать это неравенство честно. Достаточно того, что это некоторый интервал, правым концом которого является корень из двух. А он -- конец именно правый, поскольку единичка этому неравенству удовлетворяет.)