Show that if $\sum_{n=1}^{\infty}\lvert\lvert Te_n\rvert\rvert^2<\infty$ for an orthonormal basis $e_n$, then $T$ is compact
Let $H$ be an infinite-dimensional separable Hilbert space, show that a Hilbert-Schmidt operator is compact