不等式の証明 (数Iや数II）について、実数の大小関係に基づいた証明を解説しています。論理と計算規則からのアプローチで証明の基礎的な部分について述べています。