已知f(x)是定义在0到正无穷上的增函数,对任意实数a,b有f(ab)=f(a)+f(b),且f(2)=1