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