I want to know the answer to the following question:
What is Brasilia's proper city population?
All the background I'm provided with is that "The city has a unique status in Brazil, as it is an administrative division rather than a legal municipality like other cities in Brazil.". Is that enough to answer the question?