令 g(x)=ln2x。在 x>e 时,g′(x)=x2lnx,且 g′′(x)=x22(1−lnx)<0,所以 g′ 在 (e,e2) 上严格递减。
由 a<b<e2,对某个 ξ∈(a,b),有 g(b)−g(a)=g′(ξ)(b−a),并且 g′(ξ)>g′(e2)=e24。
因此 ln2b−ln2a>e24(b−a),证毕。