pour x>0 , f(x)=ln(x+1) ln(1+1/x)=ln²(x+1) - ln(x+1)ln(x)
f(x)=f(1/x) ==> on peut supposer x>1
f'(x)
= 2ln(x+1) /(x+1) -ln(x) /(x+1) -ln(x+1)/x
=((x-1)ln(x+1)-xln(x))/x(x+1)
=(x-1)(ln(x+1)/x-ln(x)/(x-1))/(x+1)
=(x-1)(g(x)-g(x-1)/(x+1)
avec g(x)=ln(x+1)/x pour x>0
g'(x)
= 1/x(x+1)-ln(x+1)/x²
=(x/(x+1)-ln(x+1))/x²
mais qqs u > -1, u>ln(1+u)
pour u=-x/(x+1) on a -x/(x+1)>ln(1-x/(x+1))=-ln(x+1) ==> g'(x)<0 pour x>0
==> g décroissante ==> f'(x)<0 pour x>1
==> f décroissante ==> f(x)<f(1)=ln²(2)