Anyone here know how I can get ahold of knuth without email? Hit my email in profile. I would like to help him finish his proof.
- You may have misinterpreted the talk. There's already a proof (even for the closed form of the leading coefficient), by someone (I have the name written down somewhere but it's in the video). You might enjoy submitting a solution to the AMM problem instead (which only asks for the rate of growth, but if you have a fuller proof I'm sure that's good).