ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3358 on R4900:
P3358
Proceeding directly from the definitions, we have \begin{equation} \exp(n) = \sum_{m = 0}^{\infty} \frac{n^m}{m!} \geq \frac{n^n}{n!} \end{equation} The second claim is immediate. $\square$