Supongamos $\displaystyle\lim_{n\to\infty} {\frac{a_{n+1}}{a_n}} = \frac{1}{2}$, demuestran $\displaystyle\lim_{n\to\infty}{a_n}=0$
Mi inicio en esta era del estado el límite en términos de la definición y trabajar desde allí:
$\displaystyle\lim_{n\to\infty} {\frac{a_{n+1}}{a_n}} = \frac{1}{2}$
$\implies \exists n_0 $ s.t., $\forall \epsilon>0, |\frac{a_{n+1}}{an} -\frac{1}{2}| < \epsilon$, $(\forall n_0 > n)$
Con el triángulo de la desigualdad he reformulado la desigualdad anterior de la siguiente manera:
$|\frac{a_{n+1}}{an}| \leq |\frac{a_{n+1}}{an} -\frac{1}{2}| + \frac{1}{2} < \epsilon$
$\implies |\frac{a_{n+1}}{an}| < \epsilon + \frac{1}{2}$
$\implies |{a_{n+1}}| < |a_n|(\epsilon + \frac{1}{2})$
En este momento estoy un poco de una pérdida. Me es permitido generalizar el resultado anterior como:
$\implies |{a_{n+k}}| < |a_n|(\epsilon + \frac{1}{2})^k$ ?
Y si es así, ¿hay alguna manera puedo utilizar este hecho para llegar a una prueba de $a_n \rightarrow 0$ ?
Gracias de antemano por cualquier ayuda. :)