Is there an elementary proof of the result that every bounded linear operator from $\ell^p$ to $\ell^q$ is compact , where $ 1 \leq q < p < \infty$.
The only proofs I found were using deep properties of reflexive spaces and compact operators.
Is there a proof where one only uses the characterization of compact subsets of $\ell^p$ spaces in some way?