  Pisier's inequality is central in the study of normed spaces and has
important applications in geometry. We provide an elementary proof of this
inequality, which avoids some non-constructive steps from previous proofs. Our
goal is to make the inequality and its proof more accessible, because we think
they will find additional applications. We demonstrate this with a new type of
restriction on the Fourier spectrum of bounded functions on the discrete cube.
