设函数Y=F(X)是定义在(0,正无穷)上的减函数,并且满足F(XY)=F(X)+F(Y),f(1/3)=1