Paul Erdos, the legendary genuius, was the first to provide an 'elementary' proof of the prime number theorem. Should this be added?
... As of the census of 2000, there are 5,013 people, 1,455 households, and 1,223 families residing in the town. The population density is 1,433.7/k ...