A problem on Cauchy sequences Let $\langle x_n\rangle $ be a sequence defined recursively by $ 0<a \le x_1 \le x_2\le b $  and $ x_{n+2} =\sqrt{x_nx_{n+1}} $ for each n $ \in \Bbb N $ show that $|x_{n+2} -x_{n+1}| \le \frac {b}{b+a} |x_n -x_{n+1}|$ Deduce that $\langle x_n \rangle$ is  Cauchy and find its limit.
Can some one help me on this especially in deducing its Cauchy! I think the 1st part can be proven by induction though I had some problem there too.

We can estimate
\begin{eqnarray}
|x_{n+2}-x_{n+1}| & = & |\sqrt{x_{n+1} x_{n+1}}-\sqrt{x_n x_{n+1}}| = \frac{|x_{n+1}(x_{n+1}-x_n)|}{\sqrt{x_{n+1} x_{n+1}} + \sqrt{x_n x_{n+1}}} \\
& = & \frac{1}{1+\sqrt{x_n/x_{n+1}}}|x_{n+1}-x_n| \leq \frac{1}{1+\sqrt{a/b}}|x_{n+1}-x_n| \\
& \leq & \frac{1}{1+a/b/\sqrt{a/b}} |x_{n+1}-x_n| \leq \frac{1}{1+a/b} |x_{n+1}-x_n| \\
& = & \frac{b}{a+b} |x_{n+1}-x_n| \ .
\end{eqnarray}
Assume $m>n$. Now
\begin{eqnarray}
|x_m-x_n| & = & \bigg| \sum_{k=n}^{m-1} x_{k+1}-x_k \bigg| \leq \sum_{k=n}^{m-1} |x_{k+1}-x_k| \leq \sum_{k=n}^\infty \bigg(\frac{b}{a+b}\bigg)^{k-1} |x_2-x_1| \\
& = & \frac{1}{1-\frac{b}{a+b}} \bigg(\frac{b}{a+b}\bigg)^{n-1} |x_2-x_1| \rightarrow 0 \ ,
\end{eqnarray}
as $m,n \rightarrow \infty$, where the second inequality is estalished by induction to the index $m-1$. This shows that the sequence is a Cauchy-sequence and has a limit $x$.
The sequence can be mapped using the logarithm function, $y_i = \ln(x_i)$, and we obtain $y_{i+2} = \frac{1}{2}(y_{i+1}+y_i)$ and hence $y_{i+2}-y_{i+1} = -\frac{1}{2}(y_{i+1}-y_i)$. Now
\begin{eqnarray}
y & = & y_1 + \sum_{k=1}^\infty y_{k+1}-y_k = y_1 + \sum_{k=1}^\infty \bigg(-\frac{1}{2}\bigg)^{k-1} (y_2-y_1) = y_1 + \frac{1}{1+\frac{1}{2}} (y_2-y_1) \\
& = & \frac{y_1+2y_2}{3} \ ,
\end{eqnarray}
where the second equation is established termwise by induction. Hence
\begin{eqnarray}
x = e^y = e^\frac{y_1+2y_2}{3} = (e^{y_1} e^{y_2^2})^\frac{1}{3}= (x_1 x_2^2)^\frac{1}{3}  \ .
\end{eqnarray}
