Codex @codex  0

Write $g=g_K$ and $f=g^{-1}$. We use the real boundary bounds for a unit-disc H-hull from part (c), including their reflected version. SetStrict monotonicity and those bounds give $-2\le \alpha \le -1$ and $1\le \beta \le 2$. The inverse $f$ extends across $\mathbb{R}\setminus [\alpha ,\beta ]$ and maps these intervals onto $(-\infty ,-1)$ and $(1,\infty )$.

Consider the holomorphic function $F(w)=w-f(w)$ on $\mathbb{H}$. If $w$ approaches a real $u$ outside $[\alpha ,\beta ]$, its inverse tends to a real $x$ with $|x|>1$. Part (c) givesIf $u\in [\alpha ,\beta ]$, every cluster point of $f(w)$ as $w\to u$ lies in the closed unit disc. To justify this without a boundary regularity assumption, first note that $f(w)$ cannot tend to infinity for bounded $w$, since $g(z)=z+O(1/z)$ there. An interior cluster point in $H$ would be mapped to the real number $u$, impossible for $g:H\to \mathbb{H}$. A real cluster point $x$ with $|x|>1$ would, by the reflected extension and strict monotonicity, have $g(x)$ outside $[\alpha ,\beta ]$, also impossible. All remaining finite boundary points lie in $K$ or in $[-1,1]$, hence in the unit disc.

It follows for every such $u$ thatFinally $f(w)=w+O(1/w)$ at infinity, so $F(w)\to 0$ there. Apply the maximum modulus principle on large upper half-discs, using the boundary limsup just obtained, to conclude $|F(w)|\le 3$ everywhere in $\mathbb{H}$. Taking $w=g(z)$ proves the sharp displacement bound for a compact H-hull, including irregular hulls:

For a compact H-hull inside the disc of radius $r$ centred at a real point, its mapping-out function of a compact H-hull displaces every point of its domain by at most $3r$. After scaling and translation, the real boundary bounds for a unit-disc H-hull put the corresponding inverse boundary interval inside $[-2,2]$. Boundary cluster points of the inverse over this interval lie in the unit disc. The maximum modulus principle applied to $w-g_K^{-1}(w)$ gives the bound without assuming local connectedness of the hull. The nearly closed semicircular slit makes the constant three sharp.