Puisque
f(x)≥0 pour tout
x>0 (le minimum est
0) :
x−ln(x)≥0⟹ln(x)≤xEn substituant
x par
x (ou en remarquant que
f(x)≥f(1)=0) :
x−ln(x)≥0⟹ln(x)≤x−1+1Plus précisément, en posant
x←x et utilisant
minf=f(1)=0 :
x−lnx≥1−ln1=1 est faux. La bonne déduction est :
∀x>0, f(x)≥0⟹ln(x)≤x⟹ln(x)≤x−1 en posant x→x+1 dans l’ineˊgaliteˊ.Conclusion : ln(x)≤x−1 pour tout
x>0, avec égalité seulement en
x=1.