selfadjoint operators, Grüss inequality, functions of selfadjoint operators