Talk:Vitale's random Brunn–Minkowski inequality