【数学函数单调性】用定义证明f(x)=In(1+e^x)+x在R上单调递增