当 x>1 时,(1+x)lnx>0,故原不等式等价于
设 g(x)=(1+x)ln(1+x)−xlnx。则
因此 g 在 (1,+∞) 上严格递增,且 g(x)>g(1)=2ln2>0。所以 lnxln(1+x)>1+xx。