>>664
そもそも、>>642の「まず修正」が見当違い
.999…は全ての桁の値が9
.999…∈{0,…,9}^Nは、桁の位置が全て自然数で表される

.999が実数として1に等しいというのは
「箱入り無数目」とは無関係
無限列としては等しくないから