The question is how to deduce the Adem relations from the Milnor product formula. Straightforward approach leads to certain relation on binomial coefficients mod p. Could anyone tell me if there is a reference to any kind of answer?