In this entry, we show how the proof presented in the parent entry may be modified so as to avoid use of the exponential function. This modification makes it more elementary by not requiring that one first develop the theory of the exponential function before proving this basic result about infinite products. Note that it is only necessary to redo the part of the result which states that, if the series converges, then the product also converges because the proof of the opposite implication did not involve the exponential function.

We begin with a simple inequality. Suppose that $a$ and $b$ are real numbers such that $0 \le a$ and $0 \le b < 1/2$ . Then we have $2ab \le a$ , hence

Clearly, $t_1 \le 1 + 2 s_1$ . Suppose that, for some $n$ , we have $t_n \le 1 + 2 s_n$ . Then, using the definitions of $t_n$ and $s_n$ along with the inequality demonstrated above, we conclude that

Thus, for all $n$ , we have $t_n \le 1 + 2 s_n \le 1 + 2S$ . Substituting this inequality for the inequality $t_n \le e^{s_n} \le e^S$ in the parent entry, the rest of the proof proceeds in exactly the same manner.