===== $\mathbb{N}^{\mathbb{N}}$ é paracompacto ===== \\ Segue de ser regular e possuir base enumerável.