>901
 任意の ε>0 をとる。
 点xでfは連続だから、
 或る δ>0 があって、|y-x|<δ ⇒ |f(y)-f(x)|<ε.
 アルキメデスの原理から、2Nδ>1 となる自然数Nがある。
 [x-δ,x+δ] の幅は2δだから、分母がNの有理数が1つはある。
 これをyに採用すると、f(y)=0, |f(x)|<ε.
 |f(x)|>0 とすると矛盾することを示せる。
 ∴ f(x)=0.