用函数的单调性证明 lnx0)
0)x"}}}'>