non-rigorous derivation of Tracy-Widom distribution (Airy function, Painleve equation); proof of theorem of Harer-Zagier (lemma on polynomiality of T(k,N) in k)