>>381
その理屈はおかしいです。
距離0だったら |√2 -s | = 0 となり
s = √2 , s = 有理数 の2つが矛盾して破綻します。

n->∞ であっても a[n] は決して√2 に届きませんし、
微小ではあるが距離は存在します、0にはなりえません。