I want to know the answer to the following question:
Where does Miami rank in population among US cities?
All the background I'm provided with is that "The Miami metropolitan area, which includes Miami-Dade, Broward and Palm Beach counties, had a combined population of more than 5.5 million people, ranked seventh largest in the United States, and is the largest metropolitan area in the Southeastern United States.". Is that enough to answer the question?