定义在(0,正无穷)上的单调递增函数f[x]满足;f[x]的导函数存在