判断并证明函数f(x)=-1/x+1在(0,+无穷)上的单调性