Problem The sequence of real numbers $(x_n)_{n \geq 1}$ satiesfies $\lim_{n \rightarrow \infty} (x_{2n} + x_{2n+1} )= 315$ and $\lim_{n \rightarrow \infty} (x_{2n} + x_{2n-1}) = 2003$. Evaluate $\lim_{n \rightarrow \infty} (x_{2n}/x_{2n+1})$.
<p><strong>Solution</strong> Set $a_n = x_{2n}$ and $b_n = x_{2n+1}$ and observe that $$\frac{a_{n+1} - a_n}{b_{n+1} - b_n} = \frac{(x_{2n+2}+ x_{2n+1})-(x_{2n+1} + x_{2n})}{(x_{2n+3} + x_{2n+2}) -(x_{2n+2} + x_{2n+1})} \rightarrow \frac{2003 - 315}{315-2003} = -1$$</p>
I have some questions about this problem and solution.
I think $(x_{2n} + x_{2n+1})$ and $(x_{2n} + x_{2n-1})$ goes to same limit value because $(2n+1)$ and $(2n-1)$ have nothing different, intuitively. Why do they have different limit?
The solution uses Stolz-Cesaro theorem to calculate it. Here I wrote the theorem.
Stolz-Cesaro Let $(a_n)_{n \geq 1}$ and $(b_n)_{n \geq 1}$ be two sequences of real numbers.
<p>(i) Assume that $a_n \rightarrow 0$ and $b_n \rightarrow 0$ as $n \rightarrow \infty$. Suppose, moreover, that $(b_n)_{n \geq 1}$ is strictly decreasing for all sufficiently large $n$ and there exists $$\lim_{n \rightarrow \infty} \frac{a_{n+1} - a_n}{b_{n+1} - b_n} = l \in \bar{\mathbb{R}}$$. Then there exists $\lim_{n \rightarrow \infty} a_n /b_n$ and moreover, $\lim_{n \rightarrow \infty} a_n/b_n = l$.</p> <p>(ii) Assume that $b_n \rightarrow +\infty$ as $n \rightarrow \infty$ and that $(b_n)_{n \geq 1}$ is strictly increasing for all sufficiently large $n$. Suppose that there exists $$\lim_{n \rightarrow \infty} \frac{a_{n+1} - a_n}{b_{n+1} - b_n} = l \in \bar{\mathbb{R}}$$. Then there exists $\lim_{n \rightarrow \infty} a_n /b_n$ and moreover, $\lim_{n \rightarrow \infty} a_n/b_n = l$.</p>
Now return to the question. The solution does not show that [$b_n$ is strictly decreasing, the limit is $0$ and $a_n \rightarrow 0$] or [$b_n$ is strictly increasing and the limit is $+\infty$]. How to prove that it satisfies the condition of Stolz-Cesaro theorem?