fを以下の関数とする。

f(x) := 0（xが無理数のとき）
f(x) := 1/q（xが有理数のとき）
ただし、qは、xを既約分数で表したときの分母の絶対値とする。

aを有理数とする。
lim[x->a] f(x) = 0
を示せ。

この解答はどうなりますか？