不等式a>=0,b>=0 --> a +b>=2(ab)^(1/2)