用单调性定义证明F(X)=(2-X)分之一在(负无穷,0)上是增函数