The domain of the function is the set of all positive integers.

