>>151
(2)より
a[n]-√2≦(1/2)^(n-1)(a[1]-√2)