usual product of natural numbers