ResPubID9418. Bessel's inequality, Gruss' inequality, inner product, Lebesgue integral