已知函数f的定义域为o到正无穷,且f(4)=1,对于任何x1,x2属于0到正无穷,有f(x1x2)=f(x1)+f(x2