Original: Although Fairfax County is the most populous jurisdiction , Virginia Beach is the most populous city in Virginia and the 41st largest city in the United States , with an estimated population of 440,415 in 2008 .
Simplified: The city is listed in the Guinness Book of Records as having the longest pleasure beach in the world and .