设f(x)是定义在(0,+∞)上的增函数,对一切m,n∈(0,+∞),都有:f(m/n)=f(m)-f(n),且f(4)