use Bochner integral