Monotonicity of the function $(1+x)^{\frac{1}{x}}\left(1+\frac{1}{x}\right)^x$. Let $f(x)=(1+x)^{\frac{1}{x}}\left(1+\frac{1}{x}\right)^x, 0<x\leq 1.$
Prove that $f$ is strictly increasing and $e<f(x)\leq 4.$
In order to study the Monotonicity of $f$, let 
$$g(x)=\log f(x)=\frac{1}{x}\log (1+x)+x\log \left(1+\frac{1}{x}\right).$$
And $f$ and $g$ has the same Monotonicity. By computation,
$$g'(x)=\frac{1}{x^2}\left(\frac{x}{1+x}-\log (1+x)\right)+\log \left(1+\frac{1}{x}\right)-\frac{1}{1+x}.$$ 
As we know $\frac{x}{1+x}-\log (1+x)\leq 0$ and $\log \left(1+\frac{1}{x}\right)-\frac{1}{1+x}\geq 0$. So it does not determine the sign of $g'(x)$.
If we compute the second derivative $g''(x)$,  you will find it is also difficult to determine the sign of $g''(x)$.
 Our main goal is to prove $$\frac{1}{x^2}\left(\frac{x}{1+x}-\log (1+x)\right)+\log \left(1+\frac{1}{x}\right)-\frac{1}{1+x}>0.$$
Is there some tricks to prove this result. Any help and hint will welcome.
 A: The right inequality.
We can use the TL method here.
We need to prove that $$(1+a)^b(1+b)^a\leq4$$
 for $a>0$, $b>0$ such that $ab=1$, which is $$\frac{\ln(1+a)}{a}+\frac{\ln(1+b)}{b}\leq2\ln2.$$
But $$\sum_{cyc}\left(\ln2-\frac{\ln(1+a)}{a}\right)=\sum_{cyc}f(a),$$
where $f(a)=\ln2-\frac{\ln(1+a)}{a}-(\ln2-0.5)\ln a$.
Easy to show that $f(a)\geq0$ for all $0<a\leq11$.
But for $a>11$ we obtain: $$(1+a)^b(1+b)^a=(1+a)^{\frac{1}{a}}\left(1+\frac{1}{a}\right)^a<(1+11)^{\frac{1}{11}}e<4.$$
The left inequality.
We need to prove that:
$$\frac{1}{x}\ln(1+x)+x\ln\left(1+\frac{1}{x}\right)>1$$ or $g(x)>0$, where
$$g(x)=(1+x^2)\ln(1+x)-x^2\ln{x}-x.$$
Indeed, $$g'(x)=2x\ln(1+x)+\frac{1+x^2}{1+x}-2x\ln{x}-x-1=2x\left(\ln\left(1+\frac{1}{x}\right)-\frac{1}{1+x}\right)>0$$ because
$$\left(\ln\left(1+\frac{1}{x}\right)-\frac{1}{1+x}\right)'=-\frac{1}{x(1+x)^2}<0$$ and
$$\ln\left(1+\frac{1}{1}\right)-\frac{1}{1+1}>0.$$
Id est, $$g(x)>\lim_{x\rightarrow0^+}g(x)=0$$ and we proved that $e<f(x)\leq4.$
Now, we'll prove that $f$ increases on $(0,1].$
By your work we need to prove that
$$\frac{1}{x^2}\left(\frac{x}{1+x}-\ln(1+x)\right)+\ln\left(1+\frac{1}{x}\right)-\frac{1}{1+x}\geq0$$ for all $0<x\leq1$ or
$$(x^2-1)\ln(1+x)-x^2\ln{x}+\frac{(1-x)x}{1+x}\geq0$$ and since $$\ln{x}\leq\frac{2(x-1)}{1+x},$$ it's enough to prove that
$$-(1-x^2)\ln(1+x)+\frac{2x^2(1-x)}{1+x}+\frac{(1-x)x}{1+x}\geq0$$ or
$$\ln(1+x)\leq\frac{x(2x+1)}{(1+x)^2},$$ which is smooth.
A: Using
$$\dfrac{x}{x+1}<x\ln\left(1+\dfrac1x\right)<1$$
and for $x\to\dfrac1x$
$$\dfrac{1}{x+1}<\dfrac1x\ln\left(1+x\right)<1$$
then
$$\dfrac1x\ln\left(1+x\right)+x\ln\left(1+\dfrac1x\right)>1$$
A: Michael Rozenberg's answer has it all. 
Here are two remaining proofs in Michael Rozenberg's answer: 


*

*Show: $\ln{x}\leq\frac{2(x-1)}{1+x}$


We have $\ln(1+y)\leq\frac{2y}{{2+y}}$ for $-1<y<0$ (see e.g. in https://en.wikipedia.org/wiki/List_of_logarithmic_identities#Inequalities), 
i.e. $\ln(x)\leq\frac{2(x-1)}{{1+x}}$ for $0<x<1$. This is exactly what needs to be shown.


*Show: $\ln(1+x)\leq\frac{x(2x+1)}{(1+x)^2}$


We have $\ln(1+x)\leq\frac{x}{\sqrt{1+x}}$ (see e.g. in https://en.wikipedia.org/wiki/List_of_logarithmic_identities#Inequalities), so we may prove
$\frac{1}{\sqrt{1+x}}\leq\frac{2x+1}{(1+x)^2}$ or $(1+x)^3-{(1+2x)^2}\leq 0$ or $x^2 - x - 1<0$ or $x( 1-x) + 1>0$ which is true since $1-x \ge 0$.
