Exact solution of the Zwanzig-Lauritzen model of polymer crystallization under tension.