f(a)=lga;
f(b)=lgb;
f(a)+f(b)=lga+lgb=lg(a*b)
因为(a+b)^2>=4ab;f(x)=lgx为增函数；
所以lg(a*b)