Original: Then there must be a smallest such number (see well-order): let it be n/O. This number n can not be 1, because of the empty-product convention above.
Simplified: One of these numbers must be the smallest: let's call it n. Of course, this number n can not be 1.