a > 0 のとき、a + 1/a >= 2 が成り立つことを示すのに用いる関係はどれか。

(a + 1/a)/2 >= √(a * 1/a) = 1 より導かれる基本的な不等式である。