Normalized univalent function ($\mathcal{S}=\{f:\mathbb{D}\to \mathbb{C}\text{ univalent},f(0)=0,f^{\prime }(0)=1\}$)

A normalized univalent function is a holomorphic function on the unit disc which is injective and has the displayed normalization. Its Taylor series begins $z+a_2{z}^2+\cdots$. Normalization makes coefficient bounds and image-size estimates independent of translation and dilation; the Koebe quarter theorem is the sharp universal image bound.

The odd square-root transform of a normalized univalent function has reciprocal exterior expansion $1/h(1/\zeta )=\zeta -(a_2/2){\zeta }^{-1}+\cdots$. Its first negative Laurent coefficient has modulus at most one by the area theorem for univalent functions, proving the bound. If $w$ is omitted by $f$, the normalized map $wf/(w-f)$ has second coefficient $a_2+1/w$. Applying the bound twice gives $|1/w|\le 4$, the Koebe quarter theorem.

Because $f(z)/z$ is holomorphic and nowhere zero on the unit disc, its square root with value one at zero exists. Defining $h(z)=z\sqrt{f(z^2)/z^2}$ gives an odd normalized univalent function. If $h(z)=h(w)$, squaring gives $z^2=w^2$; the possibility $z=-w$ and oddness force both to be zero. Applying the area theorem for univalent functions to $1/h(1/\zeta )$ yields $|a_2|\le 2$.