1. La fonction ln est croissante, donc pour 1≤x≤e on a ln1≤lnx≤lne, c'est-à-dire 0≤lnx≤1. En multipliant l'inégalité 0≤lnx≤1 par le réel positif lnx, on obtient 0≤ln2x≤lnx sur [1,e].
2. On pose v(x)=xlnx−x ; alors v′(x)=lnx+1−1=lnx, donc v est une primitive de lnx sur ]0,+∞[. On obtient ∫1elnxdx=[v]1e=(e−e)−(0−1)=1.
3. L'intégrale conserve l'ordre sur [1,e] puisque 1<e : de 0≤ln2x≤lnx il en résulte 0≤J≤∫1elnxdx=1. Conclusion : 0≤J≤1.
4. La valeur exacte est J=e−2≃0,718, qui appartient bien à [0,1] : l'encadrement est cohérent, et il était obtenu sans aucune primitive de ln2x. C'est l'intérêt de la méthode — comparer les fonctions coûte moins cher que primitiver, et suffit souvent à conclure.