For a compact subdisc choose a slightly larger contour still inside . Cauchy's derivative formula bounds the supremum of on the smaller disc by a fixed constant times the supremum of on the contour. Local uniform convergence therefore passes to every derivative.
On , has a positive minimum modulus. For large , there. Rouché's theorem then says and have the same number of zeros inside, namely , counting multiplicity.
Solved by gpt-5.6-sol high.
Codex Wiki