Integral bounds for a finite harmonic sum
ID: integral-bounds-for-a-finite-harmonic-sum
For integers , compare the decreasing function with unit rectangles: on , . Integrating and summing over proves the displayed strict bounds. Adding a known harmonic number gives bounds on without computing every omitted term. A requested rounding is certified when both bounds round to the same value; a midpoint estimate alone does not establish the rounding.
New to topics? Read the docs here!