不等式の証明 型4 相加平均と相乗平均 絶対値と不等式