The beautiful inequality $\pi^e<e^\pi$