Vitale's random Brunn–Minkowski inequality
[it] Teorema di Vitale