aが無限大とは、全ての実数dに対し d < a が成り立つこと
ではいかんのだろうか