 Prékopa–Leindler inequality

The Prékopa–Leindler inequality is a fundamental result in the field of convex analysis and probability theory. It provides a way to compare the integrals of certain convex functions over different sets.