てことは、Σやlimの極限値の概念も>>588に沿っているという解釈でいいのかな？
Σ（n=1〜∞）{9*10^(-n)}＝1とするのは、「左辺が限りなく1に近づきその極限値を
もって1とする」からではなく、「左辺と右辺の誤差が無限小以下になる」から？
厳密に言えば¬（Σ（n=1〜∞）{9*10^(-n)}≡1）ってことになる？
実数の範囲内では無限小は定義できないから＝と≡は同義なんだね。