f(x)是定义在(0,正无穷大)上的递减函数,且f(x)