用函数的单调性证明 lnx0)