 Hilbert–Samuel growth dimension

For a Noetherian local ring $(R,\mathfrak{m})$, let $H_R(t)=\mathrm{length}(R/{\mathfrak{m}}^t)$. Its eventual Hilbert-Samuel polynomial has degree $d(R)$, equivalently the pole order at $1$ of the Hilbert series of ${\mathrm{gr}}_{\mathfrak{m}}R$. This is the local length-growth invariant, not the embedding dimension. The prime-chain lower bound for local length proves $\dim R\le d(R)$; the full local dimension theorem gives equality.