a[0] = a > 0
b[0] = b > 0
a[n+1] = (a[n] + b[n])/2
b[n+1] = (a[n]*b[n])^(1/2)
とするとき、lim[n→∞] a[n]、lim[n→∞] b[n] を求めよ