trapezoid inequality, double integrals