落ち着いたらなんとなくわかった
ある整数と二乗したものに2を掛けた数が他の整数の自乗になる
そんな整数の組みあるわけないよってことだろう

でもそれと素因数分解の一意性となんの関係があるのか分からん


あと問題は
有理数体Qの部分集合A={x∈Q|x>0,x^2<2}は上に有界であるが、Qのなかにs=supAは存在しないことを示せ