普通の証明
正規直交系{e_j}を考える。||e_j-e_k||=√2δ_j,kなので{e_j}の収束部分列が存在しない。よって点列コンパクトではない。