ResPubID22841, Bessel inequality, Gruss type inequality, inner product