If the product of n positive real numbers is unity, then their sum is necessarily
a multiple of n
equal to n + 1/n
never less than n
a positive integer