幾何平均 ≤ 対数平均 ≤ 算術平均が成立する。