Da f in 0 stetig ist, gibt es zu jedem ϵ>0 ein δ>0 mit ∣f(x)−f(0)∣=∣f(x)+1∣<ϵ für alle x∈(−δ,δ)
Zu zeigen ist, zu jedem ϵ>0 gibt es ein δ>0 mit ∣f(x)−f(x0)∣<ϵ für alle x∈(x0−δ,x0+δ)
Wähle δ>0 so, dass gilt ∣f(x)+1∣<∣f(x0)∣ϵ für alle x∈(−δ,δ), dann folgt
∣f(x)−f(x0)∣=∣f(x0+z)−f(x0)∣
mit z∈(−δ,δ), und daraus folgt
∣f(x)−f(x0∣≤∣−f(x0)f(z)−f(x0)∣=∣f(x0)∣∣f(z)+1∣<∣f(x0)∣f(x0)∣ϵ=ϵ