Suponga una función continua $f:[-\frac{\pi}{4},\frac{\pi}{4}]\to[-1,1]$ y diferenciable en $(-\frac{\pi}{4},\frac{\pi}{4})$ . Entonces, existe un punto $x_0\in (-\frac{\pi}{4},\frac{\pi}{4})$ tal que $$|f'(x_0)|\leq 1+f(x_0)^2$$