Logarithm of Divergent Product of Real Numbers

Theorem
Let $\left\langle{a_n}\right\rangle$ be a sequence of strictly positive real numbers.

Also see

 * Logarithm of Infinite Product of Real Numbers, for similar results