Bochner integral