If 
(with possible repetitions) satisfies
 |
where 
is the unit open disk, and no 
, then there is a bounded analytic
function on 
which has zero set consisting precisely of the 
s, counted according to their multiplicities.
More specifically, the infinite product
 |
where 
is a Blaschke factor and 
is the complex conjugate,
converges uniformly on compact subsets of 
to a bounded analytic function 
.
