ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F1051 on D169: Napier's constant
F1051
Formulation 0
Let $!$ be the D6: Natural number factorial function.
The Napier's constant is the D993: Real number \begin{equation} e : = \lim_{N \to \infty} \sum_{n = 0}^N \frac{1}{n!} \end{equation}