en R, por el teorema de Heine–Borel (11.5.5), O(n) es un conjunto compacto.