Brascamp–Lieb inequality