Boule unité fermée de [formule]
En dim infinie, fermé + borné [formule] compact. [formule] n'a pas de sous-suite convergente.