Prove $e^2\ge2^e$.
I've thought of applying $\ln$ in both sides and that's what I get: $$e^2\ge2^e \Leftrightarrow \ln e^2\ge \ln 2^e \Leftrightarrow \ln e^2-\ln 2^e\ge 0\Leftrightarrow \ln(e^2/2^e)\ge0 \Leftrightarrow e^{\ln(e^2/2^e)}\ge e^0 \Leftrightarrow \dfrac {e^2}{2^e}\ge 0 (1) $$ Then I multiplied both sides with $$2^e$$ So ($1$) becomes: $$e^2\ge 0 $$ which is true for $$\forall x\in \mathbb R$$Is this the correct way of proving that $$e^2\ge 2^e$$ is true?
$f(x)=\frac{\log x}{x}$ over $\mathbb{R}^+$ has an absolute maximum at $x=e$, since $f'(e)=0$, $e$ is the only root of $f'(x)$ and $\lim_{x\to +\infty}f(x)=0, \lim_{x\to 0^+}f(x)=-\infty$. In particular $f(2)<f(e)$: $$ \frac{\log 2}{2}<\frac{\log e}{e}\Longleftrightarrow e\log 2< 2\log e\Longleftrightarrow 2^e<e^2.$$