A sequence in the unit disc, counted with multiplicity, is a Blaschke sequence when it satisfies the Blaschke condition. The zeros of every nonzero bounded holomorphic function form such a sequence: Jensen's formula bounds uniformly as , and gives the assertion. There are only finitely many zeros at the origin, which can be factored out first.
New to topics? Read the docs here!