triangle inequality; Cauchy-Schwarz inequality; Grüss type inequality