>>275
「アキレスと亀」は例えば上に有界な単調増加列が云々のような話になるだろうが
0.999…は定義次第だろ。
少し話はそれるが、数字9を無限に並べた文字列を考える時
右端に数字9を追加すると考えれば無限回の操作が必要だけど
（しかもこの考え方は「途中では有限じゃないか」みたいな考えにハマリやすい）
左端に数字9を追加する操作の不動点と考えれば無限回の操作はいらない。
0.999…も同様の方法で処理出来る。面倒だからここではやらんけど。