>>312
I上の無理数qについてqに収束するI上の有理点列q_nを考えると
仮定からf(q_n)=g(q_n)なのでlim[n→∞]f(q_n)=lim[n→∞]g(q_n)で
あとはf,gの連続性から従う。