discrete inequalities, GrĂ¼ss type, discrete identity, Schwarz's inequality