Grüss inequality, Bochner integral, Banach spaces, Hilbert spaces