X(n+1)=(Xn+9/Xn) ÷2,X1=1,求证limXn存在,并求limXn