>>459
s^2>2とするとs^2-2=q>0となる有理数qが存在
一方(s-ε)^2<2のεに1/nを代入すると
s^2-2s/n+1/n^2<2
s^2-2<2s/n-1/n^2<2s/n
q<2s/nが任意のnで成立
一方nを十分大きくとるとq>2s/nなのでこれは矛盾