 Hilbert-Samuel polynomial

For an $\mathfrak{m}$-primary ideal $I$ in a Noetherian local ring, $\mathrm{length}(R/I^n)$ agrees for all sufficiently large $n$ with the Hilbert-Samuel polynomial of $I$.