>>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
>>32 0.9
0.99
0.999
・
・
m 納n=1,m](9*0.1^n)
・
・
0.999・・・ <1!! ???????
↓
1=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