DYSON-HARROP LIMIT PROOF