Hilbert polynomial
= Hilbert polynomial
{c}
{title2=$P_X(m)$}
{wiki}
The Hilbert function of a finitely generated graded algebra agrees in all sufficiently large degrees with a unique polynomial. For a projective variety of dimension $r$, its leading term is $\deg(V)m^r/r!$.