Bessel’s inequality, Grüss’ inequality, 2-inner product, Lebesgue integral, synchronous functions