不等式の証明について