MnZn

Prove: If $a > 0$，then $\forall x\in \mathbb R, a(\mathrm e^x+a)-x> 2\ln a+\dfrac32$ Proof: Let $f(x) = a(\mathrm e^x+a)-x$, then $f'(x) = a\mathrm e^ ......