Justifying differentiation of infinite product Let $(z_n)_{n\in\mathbb{Z}}$ be a sequence of complex numbers s.t. the product $P(z):=\prod_{n=1}^{\infty}{\left(1-\frac{z}{z_{-n}}\right)\left(1-\frac{z}{z_{n}}\right)}$ is absolutely convergent for every $z\in\mathbb{C}$, and hence defines an entire function with zeros at every $z_k$. Is there some nice way to justify $\frac{\mathrm{d}}{\mathrm{d} z}P(z_k)=\frac{-1}{z_k}\prod_{|n|\geq1, n\neq k}{\left(1-\frac{z_k}{z_{n}}\right)}$? I guess one is not allowed to simply use the product rule for differentiation here?
 A: Yes, this can be done. You can find this on ProofWiki: Derivative of Infinite Product of Analytic Functions
You don't even need the absolute convergence of the product $f=\prod f_n$, locally uniform convergence (=uniform convergence on compact sets, modulo some details, depending on the author, but many authors do not define it) suffices:

Theorem. Let $D\subset\mathbb C$ be open, $(f_n)$ analytic on $D$ and $f=\prod f_n$ locally uniformly convergent (thus analytic). Then $f'=\sum f_n'\prod_{k\neq n}f_k$ locally uniformly.

A practical sufficient condition is the locally uniform convergence of $\sum|f_n-1|$, which is satisfied by any reasonable sequence I can think of.
Outline of proof
First establish $$\frac{f'}f=\sum\frac{f_n'}{f_n}$$
locally uniformly, multiply everything by $f$, and check that both sides coincide at the zeroes of $f$.
To obtain this, we'd like $\log f = \sum \log f_n$, locally uniformly in order to differentiate term-wise. This is true, or at least locally:

Theorem. If $f=\prod f_n$ locally uniformly and $z_0\in D$, then $$\log \left(\prod_{n=n_0}^\infty f_n\right) = \sum_{n=n_0}^\infty \log f_n + 2k\pi i$$ uniformly on some neighborhood $U$ of $z_0$, for some $n_0\in\mathbb N$, $k\in\mathbb Z$ constant on $U$.

The proof consists of very carefully taking logarithms. The surprising part (to me) is that $k$ can be taken constant, i.e. eventually the product does not switch branches anymore.
