已知定义在区间(0,正无穷)上的函数f(x)满足f(X1分之X2)=f(X1)-f(X2),且当X大于1时,f(X)大于