>>25
>>24補足
納n=1,∞](9*0.1^n)
を詳述すると
lim[m→∞]{納n=1,m](9*0.1^n)}
∴ 0.999…=納n=1,∞](9*0.1^n)=lim[m→∞]{納n=1,m](9*0.1^n)}=1