 Brunn–Minkowski inequality

For nonempty open sets $A,B\subset {\mathbb{R}}^n$, the Lebesgue measure of their Minkowski sum satisfiesIt also holds for compact sets and in standard measurable-set formulations with the appropriate measurability qualification. Normalize both volumes to one and apply the Prékopa–Leindler inequality to indicator functions.