Ist \((y_n)\) eine Nullfolge, so gilt wegen der Stetigkeit von \(f\) in 0
und \(f(0)=0\): \(\lim f(y_n)=0\).
Sei nun \(x\in R\) beliebig und \(x_n\) eine Folge mit \(\lim x_n=x\).
Dann haben wir
\(\lim f(x_n)=\lim f((x_n-x)+x)\leq \lim f(x_n-x)+f(x)=\)
\(=0+f(x)=f(x)\),
da \(x_n-x\) eine Nullfolge ist.
Mit \(x=(x-x_n)+x_n\) zeigt man entsprechend \(f(x)\leq \lim f(x_n)\),
also insgesamt ist \(\lim f(x_n)=f(\lim x_n)\).
Das Folgenkriterium für die Stetigkeit in \(x\) ist also erfüllt,
q.e.d.