夜だし、少し数学の問題(定理)でも考えようか。
実数直線(実数にユークリッド距離から定まる標準位相を入れたもの)から
実数直線への関数で、有理数点上では連続、有理数点以外の上では
不連続となるものは構成できないことを証明せよ。