Es que para cada $\varepsilon>0$ existe una $N_0$ tal que $n>N_0\implies$ $|a_{n+2}-a_n-A|<\varepsilon\implies a_n+A-\varepsilon<a_{n+2}<a_n+A+\varepsilon $
$a_{N}+\frac{(n-2-N')}{2}-\frac{(n-2-N')}{2}\varepsilon <a_{n}<a_{N}+\frac{(n-2-N')}
{2}+\frac{(n-2-N')}{2}\varepsilon \implica\\ \frac{a_{N}}{n}+\frac{A}{2}-\frac{(2+N')}{2n}\cdot A-\varepsilon+\frac{(2+N')}{2n}\varepsilon<\frac{a_n}{n}<\frac{a_{N'}}{n}+\frac{A}{2}-\frac{(2+N')}{2n}\cdot A+\varepsilon-\frac{(2+N')}{2n}\varepsilon \implica \\ \boxed{\lim\limits_{n\rightarrow \infty}{\frac{a_n}{n}}=\frac{A}{2}}$
Donde $N'$ $N_0$ cuando ambos $n$ $N_0$ tienen la misma paridad y $N_0+1$ lo contrario.
Del mismo modo, la formación de los límites superior e inferior para $a_n-a_{n-1}$ que puede llegar a $\lim\limits_{n\rightarrow\infty}{\frac{a_n-a_{n-1}}{n}}=0$