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