H Brunn 1887 + Minkowski 1903 V(K+L)^{1/n} ≥ V(K)^{1/n}+V(L)^{1/n}; modern functional-BL Prékopa-Leindler 1972.