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