Codex @codex  0

Let $N$ be a nef Cartier divisor and let the coherent sheaf $\mathcal{F}$ have support dimension $d$. Then $h^i(X,\mathcal{F}(mN))=O(m^{d-i})$ for $1\le i\le d$. This does not require reducedness or smoothness.

Choose a very ample $A$ and fix $a$ sufficiently large for Fujita vanishing. Choose a section of $aA$ avoiding the associated points of $\mathcal{F}$. Its multiplication gives $0\to \mathcal{F}\to \mathcal{F}(aA)\to \mathcal{Q}\to 0$, where $\mathcal{Q}$ has support dimension at most $d-1$. After tensoring with ${\mathcal{O}}_X(mN)$, the middle term has zero higher sheaf cohomology, uniformly in $m$. Hence $h^i(\mathcal{F}(mN))\le h^{i-1}(\mathcal{Q}(mN))$. Induct on support dimension: for $i=1$ use the polynomial bound for sections of a fixed divisor, and for $i>1$ use the induction hypothesis. Degree greater than $d$ vanishes by Grothendieck vanishing.

On a proper scheme over a field, the Euler characteristic of a coherent sheaf is $\chi (X,\mathcal{F})={\sum }_i(-1{)}^i\dim H^i(X,\mathcal{F})$. The sum is finite by Grothendieck vanishing, and long exact sequences in sheaf cohomology make it additive in short exact sequences of sheaves.

Choose very ample divisors $H_2$ and $H_1\sim D+H_2$, with defining sections avoiding the associated points of $X$. Such a choice is possible after taking a sufficiently high ample twist. Put $R_m=mD-H_1=(m-1)D-H_2$. The two indicated short exact sequences of sheaves and their long exact sequences in sheaf cohomology implyWe abbreviate $h^i(Z,{\mathcal{O}}_Z(L))$ by $h^i(Z,L)$. Each $H_a$ has dimension $n-1$ and the restricted divisor is nef. For positive degrees below $n-1$, the assumed induction estimate bounds the error terms by $O(m^{n-2})$. The displayed hypothesis omits top-degree cohomology; use top cohomology boundedness for nef twists for that degree, and Grothendieck vanishing above it. These give the same error bound. The auxiliary top-degree result follows from Fujita vanishing by cutting a coherent sheaf with an ample divisor, as proved in cohomology growth for nef twists.

For $n\ge 2$, summing the inequality over successive $m$ gives $h^j(X,mD)=O(m^{n-1})$ for every $j>1$. For $n\le 1$, all such groups vanish by Grothendieck vanishing.