### Exponentials & Logarithms

It is astonishing that $e^\pi$ and $\pi^e$ are defined. It is even more amazing that we can prove $e^\pi> \pi^e.$