Let $P(x)$ be a polynomial with integer coefficients, and let $p$ be a prime number. Recently, a user of MO proved that the limit $$\delta_p(P) := \lim_{n \to \infty} \frac{|\{P(x) \bmod p^n : x = 1,\dots,p^n\}|}{p^n} $$ exists and is equal to a rational number.
Is there a reference to this result in the literature?
Thanks.