ああ、不等号の向き間違えた
>>726の最後は x[n+1] = (x[n]+2/x[n])/2 ≦ (x[n]+√2)/2 です
ぐだぐだでスマン