>>144
なるほど、そうですね
最終的に ≦ じゃなくて < になるけど、元の不等式に等号成立条件はないのですか?