aはa>√2を満たす実数とする。
a[1]=(a/2)+(1/a)
a[n+1]=(a[n]/2)+(1/a[n])
とするとき、a[n]とaと√2の大小を比較せよ。