已知定义域在区间(0,正无穷)上的函数f(x)满足f(x1/x2)=f(x1)-f(x2),且当x大于1时,f(x)小于