Borell–Brascamp–Lieb inequality