Let be the function we are integrating. Let denote the region for which and that contains the value of where . Then we note that and the sines of the integral alternate, so we can just calculate the first one and everything else will be bounded (in particular by ). With a bit of Taylor approximation, we can bound the size of each by , and noting that is always positive for , we can replace the with and then bound by . This gives us the bound we claimed above and we are done.
Solution (final part)
Let
be the function we are integrating. Let
denote the region for which
and that contains the value of
where
. Then we note that
and the sines of the integral alternate, so we can just calculate the first one and everything else will be bounded (in particular by
). With a bit of Taylor approximation, we can bound the size of each
by
, and noting that
is always positive for
, we can replace the
with
and then bound
by
. This gives us the bound we claimed above and we are done.
Jacob Steinhardt