One-Line Proof for $n! \geq (\frac n e)^n$

Solution 1:

$$e^x = \sum_{k=0}^\infty \frac{x^k}{k!}$$

Set $x = n$ and look at the term for $k = n$.