>>690
あたり。
まじめにやんなきゃだめか。
xが有理数の時 (1/√2)^n<y-x となる nをとり、a=x+(1/√2)^n
xが無理数のとき(1/2)^n<y-x となる n をとり、a=x+(1/2)^n
長いので書くのが面倒だった。