c∈R olsun. f nin c de sürekli olduğunu varsayıp, bir çelişki bulacağız.
f(c)=0 veya f(c)=1 olacaktır. Her iki durumda da
\{0,1\}\nsubseteq(f(c)-1,f(c)+1) olur.
\varepsilon=1 alalım.
Eğer f,\ c de sürekli ise, |x-c|<\delta eşitsizliğini sağlayan her x\in\mathbb{R} için |f(x)-f(c)|<\varepsilon=1 olacak şeklide bir \delta>0 sayısı var olur.
Bu ise:
\forall x\in(c-\delta,c+\delta) için f(x)\in(f(c)-1,f(c)+1)
olması demektir.
(c-\delta,c+\delta) bir aralık olduğu için, içinde hem rasyonel hem de irrasyonel sayılar bulunur.
x\in(c-\delta,c+\delta),\ x\in\mathbb{Q} olsun. f(x)=1\in(f(c)-1,f(c)+1) olur.
y\in(c-\delta,c+\delta),\ y\notin\mathbb{Q} olsun. f(y)=0\in(f(c)-1,f(c)+1) olur.
Bu ikisinden,
\{0,1\}\subseteq(f(c)-1,f(c)+1) elde edilir. Çelişki.