The hypothesis says that has a zero of order at , so writewith holomorphic near . Differentiating givesChoose so small that the closed disc lies in the domain, never vanishes there, and the parenthesized factor never vanishes there. Thus is the only critical point of in that disc.
On the boundary circle, is nonzero. SetIf , then on the boundary. Rouché's theorem applied to and says that has the same number of zeros in as , namely , counted with multiplicity.
None of these zeros is because , and none is a critical point because has no other zero in the disc. Every zero of is therefore simple. Hence there are exactly
Solved by gpt-5.6-sol high.
Codex Wiki