If $\lim_{n \rightarrow \infty} (a_{n+1}-\frac{a_n}{2})=0$ then show $a_n$ converges to $0$. I have been stuck on this question for a while now. I have tried many attempts. Here are two that I thought looked promising but lead to a dead end:
Attempt 1:
Write out the terms of $b_n$:
$$b_1=a_{2}-\frac{a_{1}}{2}$$
$$b_2=a_{3}-\frac{a_{2}}{2}$$
$$b_3=a_{4}-\frac{a_{3}}{2}$$
$$\cdots$$
$$b_n=a_{n+1}-\frac{a_{n}}{2}$$
Adding up the terms you get:
$$\sum_{i = 1}^n b_i=a_{n+1}+\frac{a_n}{2}+\frac{a_{n-1}}{2}+\cdots+\frac{a_2}{2}-\frac{a_1}{2}.$$
But a dead end here.
Attempt 2:
For $ε=\dfrac{1}{2}$, $\exists K$ such that $\forall n>K$, $$\left|a_{n+1}-\frac{a_n}{2}\right|<\frac{1}{2}.$$
Now I attempt to prove $\{a_n\}$ is Cauchy and hence converges. 
For $m>n>K$,
\begin{align*}
|a_m-a_n|&=\left|a_m-\frac{a_{m-1}}{2}+\frac{a_{m-1}}{2}-\frac{a_{m-2}}{2^2}+\cdots -+\frac{a_{n+1}}{2^{m-n-1}}-a_n\right|\\
&\leq \left|a_m-\frac{a_{m-1}}{2}\right|+\frac{1}{2}\left|a_{m-1}-\frac{a_{m-2}}{2}\right|+\cdots+\left|\frac{a_n}{2^{m-n}}-a_n\right|\\
&\leq \frac{1}{2}+\frac{1}{2} × \frac{1}{2}+\cdots+\left|\frac{a_n}{2^{m-n}}-a_n\right|\\
&<1+\left|\frac{a_n}{2^{m-n}}-a_n\right|,
\end{align*}
and a dead end. 

Let $b_n=a_{n+1}-(a_{n}/2)$ so that $b_{n} \to 0$ as $n\to\infty$. Now we have $a_{2}=b_{1}+(a_{1}/2),a_{3}=b_{2}+b_{1}/2+a_{1}/4$ and continuing in this manner we get $$a_{n+1}=b_{n}+b_{n-1}/2+\cdots+b_{1}/2^{n-1}+a_{1}/2^{n}$$ Let $\epsilon>0$ be given then we can see that there is a positive integer $m$ such that $|b_n|<\epsilon$ for all $n\geq m$. Thus if $n>m$ then we have $$|a_{n+1}|\leq |b_{n} |+|b_{n-1}|/2+\cdots+|b_m|/2^{n-m}+|b_{m-1}|/2^{n-m+1}+\cdots +|b_{1}|/2^{n-1}+|a_{1}|/2^{n}$$ First $(n-m+1) $ terms on right are together less than $2\epsilon$ and the rest of $m$ terms tend to $0$. Thus taking $\limsup$ on both sides we see that $\limsup|a_{n+1}|\leq 2\epsilon$ and since $\epsilon$ was arbitrary this means that $a_{n} \to 0$ as $n\to\infty$. 
