>>480
君は実数が順序体であることも知らんのか?
大学で何勉強したん?