Canonical product (${\prod }_n{E}_{p_n}(z/a_n)$)

A canonical product builds a prescribed discrete zero set from Weierstrass elementary factors. Choose the orders $p_n$ so that the logarithms of tail factors converge uniformly on each compact subset. Infinite product convergence from logarithmic tails then gives an entire function with exactly those zeros, counted with the prescribed multiplicities. When ${\sum }_n|a_n{|}^{-1}<\infty$, factors of order zero suffice.

For nonzero prescribed zeros $a_n$ with $|a_n|\to 1$, the Weierstrass elementary factors of increasing order give the displayed holomorphic function on the unit disc; $m$ handles finitely many zeros at zero. On any compact disc, eventually $|z/a_n|\le q<1$, and $|\log E_n(z/a_n)|\le q^{n+1}/[(n+1)(1-q)]$. The infinite product convergence from logarithmic tails gives a nonvanishing tail. The finite initial factors supply exactly the prescribed zeros and multiplicities. No Blaschke condition is required unless boundedness is imposed.

For a proper plane domain $D$, choose $a\in D$ and $w\notin D$ attaining $\delta (a)=\mathrm{dist}(a,\mathbb{C}\setminus D)$. The holomorphic functionhas exactly one zero in $D$, a simple zero at $a$. For $|z-w|>2\delta (a)$ its zero-free holomorphic logarithm satisfiesThus products of such factors can realize prescribed zeros approaching the boundary. If the zero has multiplicity $m$, choose the logarithmic error smaller by a factor $m$ before taking the $m$th power. On a compact subset of $D$, eventual uniform summability of these logarithms gives a nonvanishing product tail and a holomorphic function with precisely the requested zeros.