ThmDex – An index of mathematical definitions, results, and conjectures.
Napier's constant equals a limit of products with factors nearing one
Formulation 0
Let $e$ be the D169: Napier's constant.
Then \begin{equation} \lim_{n \to \infty} \left( 1 + \frac{1}{n} \right)^n = e \end{equation}
Proofs