Eine Funktion f:ℝ→ℝ ist genau dann stetig in x0, wenn für alle Folgen xn (xn∈ℝ) die gegen x0 konvergieren gilt, dass f(xn) gegen f(x0) konvergiert.
Sei x0∈ℝ beliebig gegeben.
Da in jeder beliebigen Umgebung einer rationalen Zahl eine irrationale liegt (Dichtheit von ℚ in ℝ), gibt es eine Folge (xn) rationaler Zahlen mit xn→x0. Da laut Voraussetzung für alle xk gilt, dass f(xn) = 0, konvergiert f(xn) gegen 0. Da f stetig ist, muss nun gelten f(x0) = 0.