Equation cross-references should not become footnotes

By the residue theorem (see 1), the contour integral can be evaluated. Combined with the Bernstein expansion (2), this yields the bound.

A stronger result follows from the triangle inequality (3) applied to the decomposition below.

Theorem 1 (Residue Theorem)

For any meromorphic function f and a contour C...

Lemma 2 (Bernstein Expansion)

Let P be a polynomial of degree n. Then for any z with |z| = 1...