>>253
＞ a.bがどのような値をとっても√2を含んでいるということですか？

違う。 a,bがどのような値をとっても√2以上と言っている。
√2を含むかどうかは、それだけではわからない。