Let $H$ be a Hilbert space with infinite dimension. Is it possible that there is a finite orthonormal basis $O$ for $H$, i.e. a set whose linear span is dense in $H$? What if $H$ is separable?
This is no homework. Intuitively, I think it is not possible, but could not prove it.