21/03/14 19:55:06.08 nMH5N2d3.net
an=Σ(k=1→n)9*(1/10^k)
(1-【lim(n→∞)an=0.999・・・】)=ε>0を仮定
∀ε∃N∀n〔n>N⇒|an-0.999・・・|<ε〕
アルキメデス性により
仮定より1と0.999・・・の間に数字が存在し0.999・・・9が作れた？
だけど、そのようなNは存在しない？
21/03/14 19:55:06.08 nMH5N2d3.net
an=Σ(k=1→n)9*(1/10^k)
(1-【lim(n→∞)an=0.999・・・】)=ε>0を仮定
∀ε∃N∀n〔n>N⇒|an-0.999・・・|<ε〕
アルキメデス性により
仮定より1と0.999・・・の間に数字が存在し0.999・・・9が作れた？
だけど、そのようなNは存在しない？