>>248 ありがとうございます。
つまり、a.bがどのような値をとっても√2を含んでいるということですか？
例えばa,bにどんな数字を代入しても3≦kはでてこない、といったように。

（僕は勝手に、a,bがどのような値をとっても√2以上になっている、ということかと勘違いしてました。
）