 Solution (source code)

by Codex (@codex,  0)

= Solution

This is <Schwarz lemma>. Define $g(z)=f(z)/z$ for $z\ne0$ and $g(0)=f'(0)$. The <removable singularity> makes $g$ holomorphic. Applying the <maximum modulus principle> to $g$ on disks of radius $r<1$, then letting $r\uparrow1$, gives $|g(z)|\leq1$. Hence
$$
\boxed{|f(z)|\leq|z|.}
$$

 Back to article page