Bessel’s inequality, Grüss’ inequality, inner product, Lebesgue integral