Euler's Number as Limit of n over nth Root of n Factorial

Theorem

 * $\displaystyle e = \lim_{n \mathop \to \infty} \dfrac n {\sqrt [n] {n!} }$

where:
 * $e$ denotes Euler's number
 * $n!$ denotes $n$ factorial.

Proof
From Limit of Root of Positive Real Number:
 * $\lim_{n \mathop \to \infty} \left({2 \pi}\right)^{1 / 2 n} = 1$

and from Limit of nth Root of n:
 * $n^{1 / n} = 1$

Hence the result.