GrĂ¼ss' inequality, inner product spaces