Logarithm of Infinite Product of Real Numbers

Theorem
Let $(a_n)$ be a sequence of strictly positive real numbers.

Also see

 * Logarithm of Infinite Product of Complex Numbers