5

I'm trying to understand a step from a proof of the Stolz-Cesaro Theorem.

Let ${\left\{ {{b_n}} \right\}_{n \in {\Bbb N}}}$ is a positively strictly increasing unbounded sequence.

If ${\left\{ {{a_n}} \right\}_{n \in {\Bbb N}}}$ is another sequence and

$$\mathop {\lim }\limits_{n \to \infty } \frac{{{a_{n + 1}} - {a_n}}}{{{b_{n + 1}} - {b_n}}} = l $$

then

$$\mathop {\lim }\limits_{n \to \infty } \frac{{{a_n}}}{{{b_n}}} = l$$

The proof I'm trying to understand is here. I can't seem to understand the last step, i.e. why: $$(l-\epsilon)(1-\frac{b_{N(\epsilon)}}{b_{k+1}})+\frac{a_{N(\epsilon)}}{b_{k+1}} < \frac{a_{k+1}}{b_{k+1}}<(l+\epsilon)(1-\frac{b_{N(\epsilon)}}{b_{k+1}})+\frac{a_{N(\epsilon)}}{b_{k+1}} \implies\\ \implies l-\epsilon<\frac{a_{k+1}}{b_{k+1}} < l + \epsilon$$

How is that true and how can one write that more formally and detailed?

Thanks in advance!

hardmath
  • 37,015
Nikola
  • 1,558
  • 1
    If $a_{n} \leq b_{n} $ then we have $\limsup a_{n} \leq \liminf b_{n} $ and the final outcome should be $$l-\epsilon \leq\liminf \frac{a_{k}} {b_{k}} \leq \limsup \frac{a_{k}} {b_{k}} \leq l+\epsilon $$ and result follows since $\epsilon$ is arbitrary. – Paramanand Singh Sep 23 '17 at 13:52
  • See discussion here: https://math.stackexchange.com/questions/109069/stolz-ces%c3%a0ro-theorem – Hans Lundmark Sep 23 '17 at 13:58
  • This post came to my attention because of the broken link to PlanetMath.org. The PDF file you linked is not available there but is present on the Wayback archive. Instead I suggest the PlanetMath topic page that is essentially identical. See if you judge that it is an agreeable replacement. – hardmath Jan 21 '22 at 02:27
  • I replaced the PlanetMath link. Of course you can rollback my edit if you wish. – hardmath Feb 04 '22 at 08:01

0 Answers0