>>262
a<bの定義ってb≦aの否定じゃないの?
読んでないから知らんけど