Characterisation of Non-Archimedean Division Ring Norms/Sufficient Condition/Lemma 3

Theorem
Let $\left \langle {x_n} \right \rangle$ be the real sequence defined as $x_n = \paren {n + 1}^{1/n}$, using exponentiation.

Then $\left \langle {x_n} \right \rangle$ converges with a limit of $1$.

Proof
We have the definition of the power to a real number:
 * $\displaystyle \paren {n + 1}^{1/n} = \exp \paren {\frac 1 n \ln \paren {n+1}}$.

For $n >= 1$ then $n + 1 \le 2n$.

Hence:

By Powers Drown Logarithms then:
 * $\displaystyle \lim_{n \to \infty} \frac 1 n \ln n = 0$

By Corollary to Power of Reciprocal then:
 * $\displaystyle \lim_{n \to \infty} \frac 1 n = 0$

By combined sum rule for real sequences then:
 * $\displaystyle \lim_{n \to \infty} \paren{ \frac {\ln 2} n + \frac 1 n \ln n } = \ln 2 \cdot 0 + 0 = 0$

By Squeeze Theorem for real sequences then:
 * $\displaystyle \lim_{n \to \infty} \paren {n + 1}^{1/n} = 0$

Hence:
 * $\displaystyle \lim_{n \to \infty} \paren {n + 1}^{1/n} = \exp 0 = 1$

and the result follows.