Segundo dados divulgados recentemente pelo Instituto Brasileiro de Geografia e Estatística, os cinco municípios mais populosos do País, em 01.07.14, eram, pela ordem, São Paulo, Rio de Janeiro, Salvador, Brasília e Fortaleza (O Estado de S. Paulo – 29.08.2014). Sabendo-se que a média aritmética das populações desses municípios era igual a 5,36 milhões de habitantes, e que Rio de Janeiro, Salvador, Brasília e Fortaleza tinham, juntos, 3 milhões de habitantes a mais que São Paulo, é correto afirmar que, na data em referência, a população do município de São Paulo, em milhões de habitantes, era igual a