 This product formula follows from the existence of unique prime factorization of integers, and shows that is never zero in this region, so that its logarithm is defined there and

Write ; then

Now observe the identity
so that

for all .Suppose now that .Certainly is not zero, since has a simple pole at .