The domain of the function appears to be the set of all positive integers, as the function works well for small integers but becomes noisy and oscillatory for larger integers.

