Confusion about the Proof of Dieudonné's Criterion - Why doesn't it hold for analytic functions? The following theorem is due to Dieudonné:
Let $p(z) = a_0 + a_1 z + \cdots + a_n z^n$, a complex polynomial. $p$ is univalent on $D$, the unit disk, if and only if $f_\theta(z) = \sum_{k=1}^n a_k \dfrac{\sin(k\theta)}{\sin(\theta)} z^{k-1}$ has no zeros in $D$. ($\theta \in (0, \dfrac{\pi}{2}]$).
The idea of the proof is as follows:
1) $p$ is univalent on $D$ if and only if $t\mapsto p(re^{it})$ is injective on $t\in [0,2\pi)$ for each $0< r < 1$. 
2) $f_\theta$ has no zero in $D$ for $\theta \in (0,\dfrac{\pi}{2}]$ if and only if $p(re^{i(t+\theta)}) \ne p(re^{i(t-\theta)})$ for $t \in [0,2\pi)$, $0<r<1$ and $\theta \in (0,\dfrac{\pi}{2}]$.
The second pars of 1) and 2) are saying the exact same thing, so this would prove the theorem.
What (I think) I don't really get is is the statement 1). It seems like the proof for $p$ polynomial should work for any analytic function.
So it seems like the theorem should be true for a general analytic function, where the sum becomes an infinite sum.
What am I missing?
EDIT: Basically, it seems like nowhere in the proof of Dieudonné the fact that $p$ is a polynomial is used.
 A: You do, in fact, have the following statement:
Lemma Let $H$ be a open, simply connected domain bounded by a Jordan curve $\partial H$. If $f$ is an analytic function on $H$ that extends continuously to $\partial H$ and is injective on $\partial H$, then $f$ is univalent in $H$ and $f(H)$ is the inner domain of the Jordan curve $f(\partial H)$. 
(See C. Pommerenke,  Univalent Functions; Lemma 1.1 and Corollary 9.5.)
This implies that step (1) in the proof you wrote down carries over directly to the case of arbitrary analytic functions. 

Step (2) can be formulated thus:
By step one it suffices to consider the zero sets of $P(z e^{i\theta}) - P(z e^{-i\theta})$, when $z \neq 0$ and $\theta \in (0,\pi/2]$. This is equivalent, in the region concerned, to looking at the zero sets of the function
$$ Q(\theta;z) = \frac{P(z e^{i\theta}) - P(z e^{-i\theta})}{z (e^{i\theta} - e^{-i\theta})} $$
using that the denominator is non-zero in the region concerned. Since the numerator, a difference of two holomorphic functions (in $z$), vanishes at $z = 0$, we have that $Q(\theta;z)$ is also holomorphic in $z$. Using that $\lim_{\theta\to 0}Q(\theta;z) = P'(z)$ and $Q(\theta;0) = Q(\theta';0)$ (so locally univalent implies that $Q(\theta;0) \neq 0$), you get that $P$ being univalent is equivalent to $Q$ having no zeroes. 

Indeed, if you look at the Zbl review of Dieudonné's 1931 paper (I don't have the paper handy to check, unfortunately), the "infinite sum" version of what you want is described. (I assume that is how the theorem is stated in the paper, but I am not sure. Most citations to the criterion, however, cites this other slightly earlier paper which only deals with the polynomials.) 

Thanks to the French national library, I found a digital copy of the paper in question ("Sur les fonctions univalentes"), from which I quote

La condition nécessaire et suffisante pour que la fonction (1) soit 
  univalente dans le cercle unité, est que l'équation en $x$ $$
> \phi(x,\theta) \equiv 1 + a_2 x \frac{\sin 2\theta}{\sin \theta} +
> \ldots + a_n x^{n-1} \frac{\sin n\theta}{\sin \theta} + \ldots = 0 $$
  n'ait aucune racine dans le cercle unité, quelle que soit la valeur de
  $\theta$ comprise entre $0$ et $2\pi$.

where he defined the function in expression (1) to be 

$$ f(z) = z + a_2 z^2 + \ldots + a_n z^n + \ldots $$

