相加平均は常に相乗平均より大きい