- #1

anemone

Gold Member

MHB

POTW Director

- 3,883

- 115

Prove $e^{-x}\le \ln(e^x-x-\ln x)$ for $x>0$.