[tshaddox]

That’s not what I meant. I agree that the empty product being equal to 1 is reasonable.

I meant that it’s inconvenient to require engaging with that concept directly in the everyday definition of prime numbers.