设函数y=f(x)是定义域在R^+上的减函数,并且满足f(xy)=f(x)+f(y),f(1/3)=1