L Santaló 1949 V(K)V(K°) ≤ V(B_n)²/n!; modern Mahler-conjecture-still-open + Bourgain-Milman lower-bound 1987.