# Talk:Fourier-analytic proof of Sperner

From Polymath Wiki

Revision as of 12:34, 28 February 2009 by 132.74.1.4 (Talk)

In (5), isn't the coefficient 4 in front of the sum missing?

- Er, yeah. Well caught :-) Terry 19:51, 26 February 2009 (UTC)

- I am afraid now the coefficient 16 is missing! ;-)
- Also, with the illiterates like myself in mind, could you drop several words of motivation for (3) and (6)? Thanks!
- One more thing. The conclusion of Lemma 1 involves expectation, but there is nothing random in the assumptions! What does the lemma actually say?