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...