>>269
>0.999…の上限は1だが、

0.9、0.99、0.999、…
を下界とする数の最小限は1
だから言ってることは間違ってない

＞0.999…は1という上限には達しない

0.999…という切断において、
1は下界ではない、という意味なら
これまた間違ってない

ちなみに1.000…という切断なら
1は下界の最大元

だから0.999…と1.000…は切断としては異なるが
違いは「1が上界か下界か」だけ

数としてはそこを区別する必要がないので
同一視すると0.999…=1