talk:>>486 相加平均、相乗平均の関係の証明は項数が2^nになるものから証明すると良い。