a>0 ,b>0 ⇒ a+b≧2√ab
の方が ≧0 を使うより厳しい条件なんだからいいじゃん