（２）不等式の証明　4の型がある　型１　実数の大小関係　型２　実数の平方　型３　正の数の大小と平方の大小　型４　相加平均と相乗平均

4