设F(x)的定义域为(0,正无穷),对于任意正整数a,b恒有f(a*b)=f(a)+f(b),且当x>1时,f(x)>0