Vtyjkyuk

Prove that $f(x)=(1+x)^frac1x+(1+frac1x)^x leq 4$ for all $x>0.$

We have $f(x)=f(frac1x), f'(x)=-frac1x^2f'(frac1x),$ so we only need to prove $f'(x)＞0$ for $0 < x < 1.$

From a friend who doesn't want to use math.se...

Write the inequality as
$$
frac11+x left(1+xright)^1+frac1x + fracx1+x left(1+frac1xright)^1+x leq 4.$$

Let $f(x) =(1+x)^1+frac1x$. If $f$ is concave, then we are done since this means that

$$4=f(1)=f((1- alpha)x + alpha y)) geq (1- alpha) f(x) + alpha f(y) = frac11+x left(1+xright)^1+frac1x + fracx1+x left(1+frac1xright)^1+x$$ with $alpha = fracx1+x, 1-alpha = frac11+x,$ and $y = frac1x$. So, we will show that $f$ is concave.

Note that if $f(x) = e^g(x)$ and $g''(x) + g'(x)^2 leq 0$ for all $x$, then $f$ is concave.

So, consider $g(x) = (1+frac1x) log (1+x).$ Then we have that
$$g''(x) + g'(x)^2 leq 0 leftrightarrow log(1+x) leq fracxsqrt1+x$$

Note that $lim_x to 0^+ log(1+x) = lim_x to 0^+ fracxsqrt1+x=0.$

By AM-GM,
$$frac11+x = fracddx log(1+x) leq fracx+22(1+x)^frac32 = fracddx fracxsqrt1+x $$

So, $$log(1+x) = int_0^x log (1+x) ' dx leq int_0^x left(fracxsqrt1+xright)' dx = fracxsqrt1+x.$$

I'm going to include another (almost) answer for "cultural enrichment of technique". This will not be nearly as beautiful as Alvin's approach but does exemplify that when enlightenment doesn't fall upon you that doesn't mean that your hands are bound. The question posed and the answers and comments that eventually got deleted all wanted to use elementary analysis in some capacity. And unfortunately, concavity/convexity isn't discussed in all elementary analysis courses. So this will also provide an approach avoiding convexity, while going deeper into inequalities.

This was a stubborn inequality. The components had dual nature: when one was large, the other was small. And vice versa. This would normally be great if they weren't similar in nature on the middle of $[0,1]$. Typical inequalities were not precise enough to be good both at the endpoints and in the middle of $[0,1]$.

Thus osculatory interpolating polynomials are things to keep in mind, as they can be constructed as needed for ad hoc purposes when enlightenment doesn't come to you but you still have to roll up your sleaves.

We first observe that
$$f(x)=(1+x)^1/x+(1+1/x)^x=e^xln(1+1/x)+e^ln(1+x)/x,.$$
Let us define
$$g(x)=xln(1+1/x)quadtextandquad h(x)=ln(1+x)/x,.$$
It will be nice to have some information about $g$ and $h$. Elementary calculus can show that $g$ is strictly increasing and that $h$ is strictly decreasing on $(0,1)$. But overmore
$$0leq g(x)leqln 2 quadtextandquad ln 2leq h(x)leq 1$$ for $0leq xleq 1$. And lastly
$$lim_xrightarrow 0^+g(x)=0quadtextandquad lim_xrightarrow 0^+h(x)=1,.$$

Most inequalities in elementary analysis are derived from Taylor series which are unfortunately typically only good near a point and pretty much useless far away from that point. Thus things like $1+xleq e^x$ aren't very much help in this problem since the inequality posed is very exact on its entire domain. We need more precision.

Let us define the polynomials below
$$p(x)=a_2x^2+a_1x+a_0quadtextandquad q(x)=b^2x^2+b_1x+b_0$$
where
$$a_2=frac1-ln 2ln^2 2,quad a_1=a_0=1, $$
$$b_2=frac-4+e+ln 4(ln 2-1)^2,quad b_1=frac2(1-ln^2 2-eln 2+ln 4(ln 2-1)^2,quad b_0=frac2+2ln^2 2+eln^2 2-6ln 2(ln 2-1)^2,.$$
Why would we do this for any sensible reason? These polynomials are actually fairly easy to reverse engineer. They were specifically constructed to satisfy the properties below.
$$p(0)=p'(0)=1=e^0=(exp)'(0)quadtextandquad p(ln 2)=2=e^ln 2$$
$$q(ln 2)=q'(ln 2)=e^ln 2=2quadtextandquad q(1)=e=e^1,.$$
These constructions make $p$ a good approximation for $e^x$ at $0$ and at $ln 2$ but also on $[0,ln 2]$ (which is the range of $g$). Likewise, $q$ is a good approximation for $e^x$ at $ln 2$ and at $1$ but also on $[ln 2, 1]$ (which is the range of $h$). They are also upper bounds for $e^x$ on the first and latter intervals as well. With these polynomials in hand, we can conclude
$$(1+1/x)^x+(1+x)^1/x=e^g(x)+e^h(x)leq p(g(x))+q(h(x))$$
Therefore,
$$f(x)leq a_2x^2ln^2(1+1/x)+xln(1+1/x)+1+b_2fracln^2(1+x)x^2+b_1fracln(1+x)x+b_0,.$$
We already have here far more separation than we had in our original inequality. Now we try to start using cruder estimates. For example,
$$xln(1+1/x)leq ln 2cdotsqrt[4]xquadtextandquad xln(1+1/x)leqln2cdotsqrtx$$
could be used.
Graphing software seems to hint that these crude replacements won't harm anything (the endpoint limits stay the same and monotonicity is preserved). Thus after simplifying
$$f(x)leq sqrtx+1+b_2fracln^2(1+x)x^2+b_1fracln(1+x)x+b_0,.$$
We now create a new osculatory polynomial for $g$ on $[0,1]$. We can construct
$$fracln(1+x)xleq left(frac32-ln 4right)x^2+(ln 8-5/2)x+1=r(x)$$
for all $0leq xleq 1$ (preserving limits). This was constructed so that $r(0), r'(0)$, and $r(1)$ coincide with $g(0), g'(0)$, and $g(1)$ respectively.

We now have
$$f(x)leq sqrtx+1+b_2(r(x))^2+b_1(r(x))+b_0,.$$
Graphing software seems to indicate that this latter (almost) polynomial is less than or equal to $4$ for all $0leq xleq 1$. Which seems quite approachable with elementary analysis and numerical approximations of numbers.

But before I went onto this part, Alvin provided convexity and a far easier argument. Thus I could stop. But I haven't seen this approach to problem solving elsewhere. And this could help someone when convexity can't be found.

My ugly proof based on the following statements.

By your work it's enough to prove that
$$(1+x)^frac1xleft(frac1x+x^2-fracln(1+x)x^2right)+left(1+frac1xright)^xleft(lnleft(1+frac1xright)-frac11+xright)geq0$$ for all $0<xleq1$ or
$$(1+x)^frac1xleft(1+frac1xright)^xleft(frac1x+x^2-fracln(1+x)x^2right)+left(1+frac1xright)^2xleft(lnleft(1+frac1xright)-frac11+xright)geq0.$$
Now, easy to prove the following statements. For all $0<xleq1$ we have:

1. $$(1+x)^frac1xleft(1+frac1xright)^xleq4,$$




2. $$frac1x+x^2-fracln(1+x)x^2leq0,$$




3. $$left(1+frac1xright)^2xgeq1+4x-x^2$$ and




4. $$lnleft(1+frac1xright)-frac11+x>0.$$
   Id est, it's enough to prove that:
   $$4left(frac1x+x^2-fracln(1+x)x^2right)+(1+4x-x^2)left(lnleft(1+frac1xright)-frac11+xright)geq0,$$
   which is smooth.

The proof of $(1+x)^frac1xleft(1+frac1xright)^xleq4$ see here:

Monotonicity of the function $(1+x)^frac1xleft(1+frac1xright)^x$.