F(x)在(0,正无穷大)上的增函数