The domain of a function is the complete set of possible values of the independent variable. In this case, the independent variable is any nonnegative integer. The nonnegative integers are the set of positive integers along with zero, then,
domain = {0, 1, 2, 3, ...} = natural numbers.