# Who proved that the plane partition generating function is valid?

I know Major Macmahon conjectured the formula $$\prod_{m=1}^\infty \frac{1}{(1-q^m)^m}=1 + \sum_{n=1}^\infty PL(n)q^n$$ but who was the first to prove it?

-
I think you should split-off as a separate question (or omit) the 'bonus points' questions. IMO this mix of precise and broad, does in general not work well in one question. –  quid Jul 24 '12 at 19:23
That has been done. –  Daniel Parry Jul 24 '12 at 19:47