0.999…は有理数である。
1は有理数である。
ここで、1≠0.999…と仮定する。
有理数と有理数の間には無理数がたくさんあるし、有理数すらたくさんある。
しかし1と0.999…の間には見当たらない。
証明終了しました。