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