A very short proof of the Figiel-Lindenstrauss-Milman theorem

We provide a short proof for the Figiel, Lindenstrauss and Milman inequality regarding the number of vertices and faces of certain polytope, with an explicit bound on the universal constant involved. The proof is completely elementary and avoids any form of Dvoretzky’s theorem, as well as the spherical isoperimetric inequality.