If $f: U \to V$ is holomorphic and injective , then $f'(z) \neq 0$ for all $z \in U$ 
Proposition : If $f: U \to V$ is holomorphic and injective , then $f'(z) \neq 0$ for all $z \in U$ .
  Proof : We argue by contradiction , and suppose that $f'(z_0) = 0$ for some $z_0 \in U$ . Then $$f(z)-f(z_0)=a(z-z_0)^k+G(z) \,\,\,\,\,\,\,\, \text{for all $z$ near $z_0$ ,}$$ with $a\neq 0 , k \ge 2$ and $G$ vanishing to order $k+1$ at $z_0$ . For sufficiently small $w$ , we write $$f(z)-f(z_0)-w=F(z)+G(z) \,\,\,\,\,\,\,\, \text{where $F(z)=a(z-z_0)^k-w$ .} $$ Since $|G(z)|\lt |F(z)|$ on a small circle centered at $z_0$ , and $F$ has at least two zeros inside that circle , Rouche's theorem implies that $f(z)-f(z_0)-w$ has at least two zeros there , a contradiction .  

My question :
Why $F$ has at least two zeros inside that small circle ? We only know that $F$ has $k$ zeros in $C$ or for some large circle centered at $z_0$ . However , since $w$ is fixed , the radius $r$ of the small circle which satisfy $|G(z)|\lt |F(z)|$ can not be sufficiently large . So , how to deduce de desired conclusion by the proof given above ?
 A: For $z \ne z_0$ and arbitrary $w$ we have
$$
 |a(z-z_0)^k-w| - |G(z)| \ge |a(z-z_0)^k| - |w| - |G(z)| \\
 = |a(z-z_0)^k| \left( 1 - \left|\frac{G(z)}{a(z-z_0)^k}\right| \right) - |w|  \, .
$$
Now choose $\epsilon > 0$ such that
$$
 \left|\frac{G(z)}{a(z-z_0)^k}\right| < \frac 12
$$
for $0 < |z - z_0| \le \epsilon$. Then 
$$
|a(z-z_0)^k-w| - |G(z)| \ge \frac 12 |a(z-z_0)^k| - |w|
$$
so that
$|G(z)| < |a(z-z_0)^k-w|$ if $|w| < \frac 12 |a| \epsilon^k$ and $|z - z_0| = \epsilon$.
A: As stated, $G(z)=(z-z_0)^{k+1}g(z)$. Then there is some radius $r>0$ so that
$$
|sg(z_0+s)|\le\frac1{6}|a|~~\text{ for all }~~ |s|\le r.
$$

For some $s$ with $0<|s|\le \frac r2$ set $w=as^k$, that is, for some $|w|<|a|(r/2)^k$ set $s$ to be one of the $k$th roots of $w/a$. Then the roots of $a(z-z_0)^k-w$ are $z_0+q^js$, with $q$ the $k$th unit root, $q^k=1$. It is sufficient to consider $j=0$, for the other cases just change $s$ to $q^js$. To check that there is exactly one root of $f(z)-f(z_0)-w$ close to $z_0+s$, consider the function
$$
h(z)=f(z_0+s+sz)-f(z_0)-w = as^k[(1+z)^k-1]+G(z_0+s(1+z))
$$
We will show that it has exactly one root in the disk $B(0,ϵ)$ with $ϵ=\frac2{3k}$ by showing that the first term on the right dominates the second one on the boundary circle of that disk. Note that the unit roots have a distance $2\sin(\frac\pi k)\ge 6ϵ$ for $k\ge 2$, so there is only one root $z=0$ of the first term inside the disk.
On the circle $|z|=ϵ$, we get
\begin{align}
|as^k[(1+z)^k-1]|&\ge |a||s|^k(kϵ-\tbinom{k}2ϵ^2-...-ϵ^k)\\
&\ge|a||s|^kkϵ\left(2-\frac1{1-\frac{k-1}2ϵ}\right)>\frac13|a||s|^k
\\[1em]\hline
|G(z_0+s(1+z))|&=|g(z_0+s(1+z))||s|^{k+1}|1+z|^{k+1}\\
&\le \frac16|a||s|^k(1+ϵ)^k< \frac13|a||s|^k
\end{align}
as $(1+\frac2{3k})^k\le e^{2/3}=1.9477..<2$. The condition for Rouché is satisfied, it follows that $h(z)$ and $as^k[(1+z)^k-1]=as^k(1+z)^k-w$ have the same number of roots in $B(0,ϵ)$, that is, exactly one.
