用定义证明函数f(x)=1+1/x在[1,正无穷大)上单调递减