無理数が存在しないことを証明したんだが・・・
https://ai.2ch.sc/test/read.cgi/math/1543055522/
last-modified: 2021-12-25 16:05:59