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