赤線について
lim(n→無限大)1/nであれば一般的な極限として0とわかる。1/nがn番目の項の形になっているから、∞番目の項の値が求められたためである。
対して漸化式だけでは∞番目の項の値がわからない。したがって∞番目の項=√2とできない。
ここでもし、∞番目の項をαとして、このαが√2であれば、α=√2なのだからα-√2=0は当然成り立つ。
=√2がしんどい反面、ある項との差が0になるかどうかであれば比較的容易に確かめられるから、その方針でいくよ の確かめの一文。0になればいいが差なので場合によっては負をとるため絶対値はつけているが、以降の手順で確認できる通り大きくは影響ないかと。
以降の仮定については、わりと丁寧に書いてあると思いますがどこがわからないんですか