Showing $s_n = \left(\frac{1}{2}\right)(s_{n-1} + s_{n-2})$ is Cauchy. Let $(s_n)$ be a sequence defined as $s_1 = 1, s_2 = 2$ , and $s_n = \left(\frac{1}{2}\right)(s_{n-1} + s_{n-2})$. Prove that $(s_n)$ is Cauchy.
I can see how it is convergent and Cauchy but not sure how to put it into a formal proof.

We have
\begin{align}
s_n - s_{n-1} &= \dfrac{s_{n-1}+s_{n-2}}{2} - s_{n-1} 
\\
&= -\dfrac{1}{2}(s_{n-1}-s_{n-2}) 
\\
&= \cdots
\\
&=(-\dfrac{1}{2})^{n-2}(s_2-s_1)
\\
\end{align}
Let $M=\dfrac{4}{3}|(s_2-s_1)|$, for any $\epsilon$, set $\space N=\log_2(\dfrac{M}{\epsilon})+1$, then for any $n>m, \space m>N,\space m,n\in \mathbb{N}$, there is
\begin{align}
|s_n - s_m| &= |(s_{n}-s_{n-1})+\cdots+(s_{m+1}-s_{m})|
\\
&=|(-\dfrac{1}{2})^{n-2}+\cdots+(-\dfrac{1}{2})^{m-1}||(s_2-s_1)|
\\
&= \left|\dfrac{(-\dfrac{1}{2})^{m-1}(1-(-\dfrac{1}{2})^{n-m})}{1+\dfrac{1}{2}}\right||(s_2-s_1)|
\\
&=\dfrac{2}{3}\dfrac{1}{2^{m-1}}\left|(1-(-\dfrac{1}{2})^{n-m})\right||(s_2-s_1)|
\\
&<\dfrac{M}{2^{m-1}} 
\\
&<\epsilon 
\end{align}
So $s_n$ is Cauchy sequence.
