Paper 4, Section I, G

Complex Analysis
Part IB, 2016

State carefully Rouché's theorem. Use it to show that the function z4+3+eizz^{4}+3+e^{i z} has exactly one zero z=z0z=z_{0} in the quadrant

{zC0<arg(z)<π/2}\{z \in \mathbb{C} \mid 0<\arg (z)<\pi / 2\}

and that z02\left|z_{0}\right| \leqslant \sqrt{2}.