「不等式の証明」の基本問題