Quick description
This is a generalisation of the base times height bound: instead of bounding the magnitude of the integrand by some fixed constant
, instead bound it by some quantity
which still depends on
, but in a "simpler" fashion than the original integrand
, where "simpler" means "easier to integrate". Then one clearly has
. Note that in many cases, one is prepared to lose a multiplicative constant C in the final bound on the integral, in which case one is also free to lose a constant on the integrand, i.e. one will settle for
rather than
.
Prerequisites
Undergraduate calculus
Example 1
Obtain an upper bound for , where
is a parameter.
The integrand looks somewhat unpleasant to deal with by exact integration methods (substitution, integration by parts, contour integration, etc.). However, we only seek an upper bound. Note that up to a factor of two, a sum
of two positive quantities is comparable to the maximum
of these quantities. Taking reciprocals, we see that
is comparable to
(in fact, the former is less than or equal to the latter).
Now, the quantity is simpler to integrate than
. Why? Well, freshman calculus already tells us how to integrate
and
separately. And dealing with a minimum (or maximum) in an integrand is not too scary; one simply needs to divide the region of integration into two sets, one where the first term attains the minimum, and one where the second term does, and divide and conquer.
In this case, attains the minimum when
, and
does otherwise. Thus we obtain an upper bound of

which can now be easily computed via freshman calculus as

In the converse direction, to get a lower bound, observe on the first region ,
never exceeds
, and on the second region it never exceeds
, so we obtain a lower bound of

Thus our upper and lower bounds only differ by a factor of two (this is the same factor of two that appeared earlier in the discussion).
Note that one can also guess the bound by the base times height heuristic. If one sketches a graph of the function , one sees that it has "height" about
and is concentrated on a "base" of width about
, so it is reasonable to expect the final integral to be of size about
, which is indeed what happens.
General discussion
Of course, for this strategy to be effective, the upper bound should be easier to integrate than the original function
. See "Which integrals are simpler to integrate?" for more discussion of this issue.
The bound is only efficient if one believes that is generally not much smaller than
, and also if one believes that
does not oscillate enough to provide additional cancellation.