GrĂ¼ss inequality, inner product spaces