Inter-universal geometryとABC予想(シン応援スレ) 84

ディリクレの関数と似てる関数

f(x)
=1/n　x∈Q で nはxを既約分数で表した場合の分母
=0 x∈R/Q

さて、上記の関数fは
xが有理数の場合　xで不連続　だが
xが無理数の場合、xで・・・連続！

Q.上記を証明せよ

簡単だよな