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

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.