Hilbert polynomial ($P_X(m)$)

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 $\mathrm{deg}(V)m^r/r!$.

For a coherent sheaf $\mathcal{F}$ of support dimension $d$ on a projective scheme and a fixed Cartier divisor $D$, $h^0(X,\mathcal{F}(mD))=O(m^d)$. Choose a sufficiently high ample divisor $A$ whose section avoids the associated points of $\mathcal{F}$ and for which $D+A$ is ample. Multiplication by the $m$th power of that section injects $\mathcal{F}(mD)$ into $\mathcal{F}(m(D+A))$. The ample Hilbert polynomial, together with Serre vanishing, bounds the latter section space by $O(m^d)$.