The Hypercontractive Inequality of Bonami (1968, 1970) and Gross (1975) is equivalent to the following statement: for every q > 2 and every function f : {−1,1}n→ R of Fourier degree at most m, ‖ f‖q ≤ (q−1)m/2‖ f‖2 . The original proof of this inequality is analytical. Friedgut and Rödl (2001) gave an alternative proof of the slightly weaker Hypercontractive Inequality ‖ f‖4 ≤ 28m/4‖ f‖2 by com...