>0.999...を定義せずに
だから0.999...:=lim[n→∞](Σ[k=1→n]9/10^k)だと