Hilbert Sequence Space is Metric Space/Proof 1

Proof
$\ell^2$ is a particular instance of the general $p$-sequence space $\ell^p$.

Hence $p$-Sequence Space of Real Sequences is Metric Space can be applied directly.