関数fが区間Iで連続で、Iの全ての有理数についてf(x)=xならば無理数でもそうだってこと
をうまくいえないです。教えてください。