Nice, although it would be nice to have an idea of the proofs behind.
We both might know enough about math to know what a Lebesgue measure is, but Real Analysis wasn't a requirement for most CS majors posting on here I'd imagine. (I agree with my uncle/aunt poster, though-- this is way more accessible to the general mathematician than a Wiles on Fermat or Perelman on Poincare. It's self-contained enough to clearly define * weakly-holomorphic modular form* [which I could take a stab at, but not with too high of a confidence factor]. Spending a few minutes to throw (19) in there was kind of the author to do, so those from other disciplines of mathematics could continue reading instead of just presuming what \gamma was.)