令
有 ϕ(0)=0。
计算得
故 0<x<1 时 ln(1+x)<1+xx。两边均为正数,平方后即得
由第一问,(1+x)ln2(1+x)<x2,故
所以 g 在 (0,1) 上严格递减。又
端点均不属于区间,故
即为所证。