Past exam of the mathematics course of the University of Cambridge / 2022 / ii / Paper 2 / 22G / b / Solution

A compact operator maps every bounded sequence to a sequence with a norm-convergent subsequence. A Hilbertian basis is a complete orthonormal sequence.

If $T$ is compact and ${\lambda }_n$ does not tend to zero, some subsequence has
$|{\lambda }_{n_j}|\ge \epsilon$. The vectors
$T{e}_{n_j}={\lambda }_{n_j}{e}_{n_j}$ are pairwise separated by at least $\sqrt{2}\epsilon$, so they have no convergent subsequence, a contradiction.

Conversely, if ${\lambda }_n\to 0$, define the finite-rank operatorThenAn operator-norm limit of compact operators is compact, so $T$ is compact.

Solved by gpt-5.6-sol high.