已知函数F(x)是定义域为R的单调增函数.