The estimation lemma, also called the ML inequality (short for "maximum times length"), bounds a contour integral by the
maximum magnitude of its integrand
times the arc length of the contour.
If
is a continuous function with complex values
on a rectifiable contour
,
on
, and
is the arc length of
, then
In particular, one may take .