Real Analysis sequence limit problem

Sorry for the unclear title, the problem is too specific so I couldn't think of anything else. Here goes:

If $$\lim_{n \to \infty} \frac{x_{n+1}}{x_n} = a > 0,$$ prove that $$\lim_{n \to \infty} \sqrt[n]{x_n} = a.$$

Now, in my textbook there is a proof provided but I don't understand it. It goes like this:

$$\tag{1} \sqrt[n]{x_n} = \sqrt[n]{ \frac{x_n}{x_{n-1}} \cdot \frac{x_{n-1}}{x_{n-2}} \cdot \ldots \cdot \frac{x_2}{x_1} \cdot \frac{x_1}{1} }$$

Then they take $\log$ of both sides:

$$\tag{2} \log \sqrt[n]{x_n} = \frac{1}{n} \left( \log \frac{x_n}{x_{n-1}} + \log \frac{x_{n-1}}{x_{n-2}} + \dotsb + \log \frac{x_2}{x_1} + \log \frac{x_1}{1} \right)$$

These two steps are clear to me. What comes next is what I don't understand:

$$\tag{3} \lim_{n \to \infty} \log \sqrt[n]{x_n} = \log \lim_{n \to \infty} \frac{x_n}{x_{n-1}} = \log a$$

The textbook provides no other explanation for this except for a little note saying 'Cauchy's theorem'. The only Cauchy theorem previously mentioned in the textbook was the first one in this article.

Then the rest of the proof looks like this:

$$\tag{4} e^{\log \lim_{n \to \infty} \sqrt[n]{x_n}} = e^{\log a}$$ $$\tag{5} \lim_{n \to \infty} \sqrt[n]{x_n} = a$$

Where I also have no idea what's happening.

Any ideas?

Thanks.

• Although it's correct, I think step 4 as written is misleading. The idea is to exponentiate both sides of the equation in step 3, then to use the continuity of the exponential function to commute said function with the limit. Therefore I would not have put the limit after the log but before it, in the first equation of step 4. – Simon Aug 20 at 12:49

2 Answers

What's happenning is that if a sequence $a_n$ tends to a limit, then the sequence of averages $\frac{1}{n}\sum_{k=1}^na_k$ also tends to the same limit. This is Cauchy's first theorem of limits, according to the article you referred to.

I suppose that there's a typo in your textbook. When it mentions Cauchy, it should mention Cesàro summation instead, since it implies that\begin{align}\lim_{n\to\infty}\frac{\log\left(\frac{x_n}{x_{n-1}}\right)+\log\left(\frac{x_{n-1}}{x_{n-2}}\right)+\cdots+\log\left(\frac{x_1}{x_0}\right)}n&=\lim_{n\to\infty}\log\left(\frac{x_n}{x_{n-1}}\right)\\&=\log a.\end{align}By the way, it's a nice proof.

• See, this is what I don't understand. By this logic it turns out that the limit of a logarithm of some function is the same as the logarithm of the limit of that function. That doesn't sound to me like something that's generally correct. Or am I missing something? – Koy Aug 20 at 13:15
• I meant sequence instead of function, sorry. – Koy Aug 20 at 13:18
• @Koy : this is true not only for logarithm but for any continuous function. – Paramanand Singh Aug 20 at 13:46