ResPubID17564, Gr¨uss inequality, ˇ Cebyˇsev functional, Cartesian product, semi-inner product