trapezoid inequality; midpoint inequality