Widerspruchsbeweis klingt gut.
Wir nehmen also an, es gäbe ein \(C\in\mathbb R\) mit
\(|f(y)-f(x)| \leq C|y-x|\) für alle \(x,y\in \mathbb R\).
Eine Möglichkeit, nun einen Widerpsruch zu produzieren, ist, den Mittelwertsatz zu benutzen:
\(f'(x) = 3x^2\). Für \(x=n\in\mathbb N\) und \(y \geq x+1\) gilt nun
\(|f(y)-f(x)| = |f'(\xi)||y-x| \geq 3n^2\)
Das heißt, \(C \geq 3n^2\) für jedes \(n\in\mathbb N\).
Ein solches reelles \(C\) gibt es nicht. Widerspruch zur Annahme!