>>116
超実数は、ℕ → ℚ

全部同じ値を返せばℚ になる。これに順序が付くと仮定する

この列が発散すると無限大になる。例えば λ x → x で発散する

その逆数が無限小。これは実数として0に同じ。Δx≈ 0 なわけね。実数は超実数を無限小の同値類で割ったものになる

超実数が順序づけられるというのは、整列定理そのものだが、それがℚ の順序と整合するというのは、もう少し証明が必要になる

ℚ は稠密に整列されてるので、その間の無限小に超実数がはいる感じ

有界な列は最小上界とおんなじような扱いになる