Section subtraction lemma for big divisors
= Section subtraction lemma for big divisors
If $D$ is a <big divisor> and $F$ an <effective Cartier divisor>, infinitely many $m$ have $H^0(X,mD-F)\ne0$. The <divisor restriction exact sequence> bounds the dimension lost upon restriction to $F$ by $O(m^{n-1})$, using the <polynomial bound for sections of a fixed divisor>; this cannot exhaust the $c m^n$ sections along the infinite growth sequence.