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: So it must be a product of numbers.