判断函数F(X)=X-X分之一在[1,4]上是增函数还是减函数,并用定义证明