ResPubID10917, Bessel's inequality, GrÄuss' inequality, inner product, Lebesgue integral