18/10/14 06:40:13.24 DW2CQwiG.net
0.999...9(9がn個)=a_nとし、
0.999...:=lim(n→∞)a_nと定義する.
1=0.999...と仮定すると、
N(1)を1の開近傍系として
任意U∈N(1)に対して、ある自然数N_0が存在し、
n≧N_0ならばa_n∈U となる
しかし、{1}∈N(1)であるが、任意の自然数nに対してa_n∈{1}ではない
これは矛盾
したがって0.999...は1ではない
はい1=0.999...論者全員死亡ｗｗｗｗｗｗ
くそわろおおすｗｗ