GrĂ¼ss inequality, trapezoid inequality