\[\prod_{j=0}^{\infty}\left(1-\left|\alpha_{j}\right|^{2}\right)=\exp\left(\frac%
{1}{2\pi\mathrm{i}}\int_{|z|=1}\ln\left(w(z)\right)\frac{\,\mathrm{d}z}{z}%
\right).\]