Antônio descobriu um site na internet que estima a população de vários países até o ano 2100. Segundo esse site, a população brasileira em 2025 será de, aproximadamente, duzentos e dezenove milhões de habitantes. Esse número, quando escrito corretamente, é igual a 219 seguido de exatamente n zeros. O valor de n é: