Sé que el Mayor Macmahon conjeturó la fórmula $$ \prod_{m=1}^\infty \frac{1}{(1-q^m)^m}=1 + \sum_{n=1}^\infty PL(n)q^n$$ pero ¿quién fue el primero en demostrarlo?
Respuesta
¿Demasiados anuncios?La respuesta es el propio MacMahon, que lo demostró en su libro Análisis combinatorio como corolario de un teorema más general sobre particiones planas. Véanse las secciones IX y X.
Hay más información histórica en las notas del capítulo 7 del libro de Richard Stanley Combinatoria Enumerativa volumen 2.