Let . Unless is empty, its closure meets the real axis; otherwise a loop in surrounding could not contract, contrary to being a simply connected domain. Choose . Then .
The unit half-disc is a compact H-hull with mapping-out function , so its half-plane capacity is one. The monotonicity of half-plane capacity and its scaling rule now give
Thus the assertion holds with the universal constant under this normalization.