También podemos suponer $|f(z)| > 1$
Toma la línea $[0,z]$ y que $d = \sup \{ w : w\in (0,z), |f(w)| \leq 1\}$ y $d = 0$ si este conjunto está vacío. Entonces $|f'(z)| \leq 1$ en $[d,z]$ .
Entonces $$ |z| \geq |z - d| \geq \int_d^z |f'(w)| dw \geq \left|\int_d^z f'(w) dw \right| = |f(z) - f(d)| $$
Ahora $|f(d)| = \max \{ |f(0)|, 1 \}$ . Debido a la desigualdad $|a - b| \geq ||a| - |b|| \geq |a| - |b|$ Por lo tanto, tenemos $|z| + |f(d)| \geq |f(z)|$
Disculpa la notación, una vez que restrinjo a la línea $[0,z]$ Tomo prestado gran parte del lenguaje de los números reales.