>>500
どうでもいいけど、背理法とか以前に、定義から有限小数は有理数(～/10000とかで表せる)だから無理数ではありえない

素数が無限に存在することの証明や√2が無理数であることの証明の話をしたかったのかな