Completeness of $\ell^p$