>>531
ですよねって言われても...
いくつかの流儀があるから聞いたんだけど、まぁいいや
それなら、大小関係の定義と有理数では成り立っている
ことを使えばできるはず