Suponga que una función continua $f:[0,1]\to\mathbb{R}$ es diferenciable en $(0,1)$ y $f(0)=1$ , $f(1)=0$ . Entonces, existe $0<x_0<1$ tal que $$|f'(x_0)| \geq 2018 f(x_0)^{2018}$$