Borell's inequality and mean width of random polytopes via discrete inequalities. - David Alonso-Gutiérrez; Luis C. García-Lirola (J. Complex., 2026)