>>32
0超s未満の任意の数εに対して(s-ε)²<2が成り立つ事が約束されているんですよね？
上式を書き換えればs²-2<2sε-ε²<2sεで、2s>0ですから両辺を2sで割る事が出来るので、
言い改めますと(s²-2)/2sが0超s未満の任意の数εよりも小さいという事が約束されている状況なわけですよね？
もしs²-2が0より大きい正の数だと仮定しますと、(s²-2)/2sもはやり2s>0ですから0より大きい正の数ですよね？
0と(s²-2)/2sの間の数でなおかつs未満の数をεとして採用しても約束により(s²-2)/2s<εが成り立つと言えるわけですが、
これではε<(s²-2)/2sかつ(s²-2)/2s<εという矛盾した式が成り立つ事になってしまいます。
元をたどるとs²-2が0より大きい正の数だと仮定したからこのような状況が発生してしまったんですね。
よってs²-2は0より大きくはありません。
なのでs²-2≦0すなわちs²≦2