Let on . If , the circle lies in that half-plane. The Cauchy derivative formula gives
The line segment joining to remains in , so
Thus one may take , as in the lipschitz bound inside a bounded analytic half-plane.