Grüss inequality, Čebyšev functional, Cartesian product, semi-inner product