A Cartier divisor on an integral projective variety is big exactly when, for every ample divisor , some positive integer satisfies with effective. To prove the forward direction, subtract an effective high multiple of using the section subtraction lemma for big divisors, then add an effective representative of the remaining multiple. For the reverse direction, multiply sections of by the section of and use the ample Hilbert polynomial.
New to topics? Read the docs here!