Prove that $\ln x\leq\frac{x^{x+1/x}-1}{2}$ [ not solved ]

Question

Prove that $$\ln x\leq\frac{x^{x+1/x}-1}{2}$$ is true for every positive real number, without calculus/derivative . (i.e. using some inequalities)

---

My progress. For $x\geq 1$ using $x+1/x\geq 2$ we obtain $$\frac{x^{x+1/x}-1}{2}\geq\frac{x^{2}-1}{2}$$ So it suffices to prove $$\ln x\leq\frac {x^2-1}{2}$$ or $$x^2\geq 2\ln x+1$$ The inequality seems easier now. But, I am stuck here.

I don't have any approach for $0<x<1$.

Answer 1

For $x>0$ we have $\ln x\le x-1 $ and $x^{{x^2+1\over x}}\ge x^2$ for $x\ge 1.$ So it suffices to show that $2x-2\le x^2-1.$ The latter reduces to $(x-1)^2\ge 0.$ The justification of the inequality $\ln x\le x-1$ for $x> 0$ requires calculus methods. see

Answer 2

This answer is partial.

Consider the following graphs.

They suggest to split the required inequality into the inequalities $\ln x\le x-1$ and $x-1\le \frac{x^{x+1/x}-1}2$. Then first of them follows from the inequality $1+t\le e^t$, which holds for each real $t$. The second transforms into the inequality $2x-1\le x^{x+1/x}$. The latter holds when $0<x\le \tfrac{1}{2}$, because then the left-hand side nonpositive, whereas the right-hand side is nonnegative. The inequality also holds when $x\ge 1$, because then $x^{x+1/x}\ge x^2\ge 2x-1$.

Answer 3

Update: Thank @lone student for pointing out my mistake. I give a new proof.

Supplement to Alex Ravsky's answer.

We use the well-known inequality $$\mathrm{e}^u \ge 1 + u, \quad \forall u \in \mathbb{R} \tag{1}$$ and the Bernoulli inequality $$(1 + u)^r \ge 1 + ur, \quad \forall u > -1,\ r \ge 1. \tag{2}$$

Using (1), we have $\ln x \le x - 1$. It suffices to prove that $$x^{x + 1/x} + 1 - 2x \ge 0. \tag{3}$$

Alex Ravsky has proved the case that $0 < x \le 1/2$ and $x\ge 1$.

It remains to prove the case that $1/2 < x < 1$.

Using (2) and $x + 1/x - 1 \ge 1$, we have $$x^{x + 1/x - 1} \ge 1 + (x - 1)(x + 1/x - 1). \tag{4}$$

From (3) and (4), it suffices to prove that $$x\cdot [1 + (x - 1)(x + 1/x - 1)] + 1 - 2x \ge 0$$ or $$x(x - 1)^2 \ge 0$$ which is true.

We are done.

Answer 4

$$ \frac{x^{x+\frac{1}{x}}-1}2= \frac{e^{ln(x)(x+1/x)}-1}2 \ge \frac{1+(ln(x)(x+\frac{1}{x})-1}2 = 0.5ln(x)(x+\frac{1}{x}) \ge ln(x)$$

I used first order taylor of $e^x$.

And Am-Gm inequality.

only for $$x \ge 1$$

Answer 5

For $\frac1{\sqrt{e}}<x<1:$

The inequality can be written as $$\ln(1+2\ln x)\leq(x+\frac1x)\ln x.$$ On the left hand side, we use Maclaurin series approximation and then cancel $\ln x$ from both sides. Now, it is enough to prove that $$2-2\ln x\geq x+\frac1x$$ on $I=(\frac1{\sqrt{e}}, 1)$. Or $$2+2t>e^t+e^{-t}$$ on $(0,\frac12)$ which is true.