若函数y=f(x)的定义域为R,则"对于任意X∈R,恒有F(x)<F(x+1)"是"f(x)是增函数"的必要非充分条件,