trapezoid inequality