I was stuck in a basic real analysis homework, here is the situation:
The homework is:
Use the Stolz-Cesàro theorem to prove $\lim_{n \to \infty}\frac{n^k}{a^n}=0 $, if $a>1$ and $k \in \mathbb{N}^+$.
what I have tried:
Let $x_n=n^k$ and $y_n=a^n$,
then $$\lim_{n\to\infty}y_n=+\infty \thinspace and \thinspace \{y_n\} \text{ is a strickly increasing monotone series}$$
based on this, I am trying to use the Stolz-Cesaro theorem, so I try to calculate the limit below: $$\lim_{n\to\infty}\frac{x_{n+1}-x_{n}}{y_{n+1}-y_n} \thicksim \frac{(n+1)^k-n^k}{a^{n+1}-a^n}$$
in this step, I try use binomial formula because the $n^k$ can be cancel:
$$\lim_{n\to\infty}\frac{x_{n+1}-x_{n}}{y_{n+1}-y_n} \thicksim \frac{(n+1)^k-n^k}{a^{n+1}-a^n}\thicksim\frac{(C_k^0n^0+C_k^1n^1+\cdots+C_k^{k-1}n^{k-1}+C_k^kn^k)-n^k}{a^{n}(a-1)}\thicksim???$$
then I stuck here.
I tried to find an answer online, which says that
…use the Stolz-Cesaro theorem k times, then you can reduce the power of n to 0 th in the numerator while the power of a in the denominator will reduce to n-k then you will conclude a limit which is 0, then the question is solved.
But I am confused with the answer I found above. Can you give me a better solution or clue?
I know something I had learned in Calculus may solve it : Use L'Hospital's rule k times to solve this question.
But I haven't learn how to prove L'Hospital's rule in real analysis, I even haven't learn the definition of limit, continuity, derivative of functions in REAL ANALYSIS. So I think better not to use them now.
Can you help me? Thanks!!!
Best Answer
Usually when you come across a statement of the form "use this k times..." there is probably an induction hidden in this statement, so we will try to prove this with induction on $k$ the power of $n$.
$$ \frac{(n+1)^{k}-n^{k}}{a^{n+1}-a^n}=\frac{\sum_{m=0}^{k}\binom{k}{m}n^m-n^{k}}{a^n(a-1)}=\frac{\sum_{m=0}^{k-1}\binom{k}{m}n^m}{a^n(a-1)}=\frac{1}{a-1}\cdot\sum_{m=0}^{k-1}\binom{k}{m}\frac{n^m}{a^n} $$
From our induction hypothesis it follows that $\lim_{n\to\infty}\frac{n^m}{a^n}=0$ for $0\leq m<k$, so by limit arithmetic we will get
$$ \lim_{n\to\infty}\frac{1}{a-1}\cdot\sum_{m=0}^{k-1}\binom{k}{m}\frac{n^m}{a^n}=\frac{1}{a-1}\sum_{m=0}^{k-1}\binom{k}{m}\lim_{n\to\infty}\frac{n^m}{a^n}=\frac{1}{a-1}\sum_{m=0}^{k-1}\binom{k}{m}\cdot0=0 $$ So by Stolz-Cesaro we will conclude that $\lim_{n\to\infty}\frac{n^k}{a^n}=0$ as desired.