trapezoid inequality, Bochner integral