>>27は>>25の続き。

>>26
そもそも、区間Iで定義された有理数で不連続、無理数で連続な実関数 f(x) が存在しない。