Limit of Integer to Reciprocal Power/Proof 2

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

From Powers Drown Logarithms, we have that:
 * $\ds \lim_{n \mathop \to \infty} \frac 1 n \ln n = 0$

Hence:
 * $\ds \lim_{n \mathop \to \infty} n^{1/n} = \exp 0 = 1$

and the result.