设函数y=f(x)是定义在(0,正无穷大)上的减函数,并且满足f(xy)=f(x)+f(y) ,f(1/3)=1,