Absolutely Convergent Product Does not Diverge to Zero/Proof 1

Proof
By Factors in Absolutely Convergent Product Converge to One, $|a_n|<1$ for $n\geq n_0$.

Let $n_1\geq n_0$.

Suppose that the product diverges to $0$.

Then $\displaystyle \prod_{n=n_1}^\infty(1+a_n) = 0$.

By Norm of Limit, $\displaystyle \prod_{n=n_1}^\infty|1+a_n| = 0$.

By the Triangle Inequality and Squeeze Theorem, $\displaystyle \prod_{n=n_1}^\infty(1-|a_n|) = 0$.

By the Weierstrass Product Inequality, we have for $N\geq n_1$:
 * $\displaystyle \prod_{n=n_1}^N(1-|a_n|) \geq 1 - \displaystyle \sum_{n=n_1}^N|a_n|$

Taking limits, $0\geq 1 - \displaystyle \sum_{n=n_1}^\infty|a_n|$.

Because $\displaystyle \prod_{n \mathop = 1}^\infty \left({1 + a_n}\right)$ is absolutely convergent, $\displaystyle\sum_{n=n_1}^\infty|a_n|<1$ for $n_1$ sufficiently large.

This is a contradiction.