＞0.999…の場合は、実際に「9を無限に続けて書く」という事が不可能だから、
「任意のn∈Nに対して、小数第n位が9」と書けばよい。