The domain of the function is all positive integers.

