>>32

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