# $x^e \le e^x$, is this true?

Is $x^e \le e^x$ for any given $x > 0$, where $f\colon (0, \infty) \to R$ and $f(x) = \ln(x) / x$

I don't know exactly how should I demonstrate this.

-
What has $f$ to do with the question? However, the title inequality has already been treated here. – egreg Dec 26 '13 at 21:23
what does $f(x)$ have to do with the equality you're trying to show? – hunter Dec 26 '13 at 21:23
$e^t\geq t+1:$ let $t=\frac{x}{e}-1$ and raise to the $e^{\text{th}}$ power. – Julien Godawatta Dec 26 '13 at 21:31

Take logarithm, you can since $x>0$. Now your inequality becomes:

$$e \log x \le x \log(e)$$

Or

$$\frac{\log x}x \le \frac 1e$$

To prove this, you just have to study the function

$$f(x)=\frac{\log x}x$$

Differentiate:

$$f'(x)=\frac{1-\log x}{x^2}$$

Now, if $x<e$, then $f'(x)>0$, and $f$ is increasing. And for $x>e$, $f'(x)<0$ and $f$ is decreasing. Thus $f$ has a global maximum at $x=e$, and

$$f(e)=\frac{1}{e}$$

Hence your inequality is true.

-

The claim is that $$e \log(x) \leq x$$

or equivalently

$$\log(x) \leq \frac{x}{e}$$

When $x = e$ we get equality, the line $y = \frac{x}{e}$ is the tangent line here, and the graph of the logarithm is concave down, so this is true.

-
That f(x) was in the statement, I think it was given so I can demonstrate that inequality using the function derivative. – Adrian George Dec 26 '13 at 21:28

Yes it is.

It is equivalent to showing that $f(x)=x^{1/x}\le \mathrm{e}^{1/\mathrm{e}}$, for all $x>0$.

Note that $f'(x)=x^{1/x}\frac{1-\ln x}{x^2}$, which vanishes only at $x=\mathrm{e}$, and it is positive in $(0,\mathrm{e})$, while it is negative in $(\mathrm{e},\infty)$. This show that the maximum of $f$ is achieved at $x=\mathrm{e}$.

-