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