GrĂ¼ss inequality, inner products, integral inequality, inequalities for sums