a>1のとき
a[n]>0,b[n]>0だから
a[n+1]-a[n]=b[n]/2>0なので(a[n])は単調増加
b[n+1]=(√a[n])b[n]≧b[n]なので(b[n])は単調増加で0に収束しない