>>652
証明中に表れる不等号についての等号成立条件を考える