Supremum Metric on Bounded Real Sequences is Metric/Proof 1

Proof
By definition, a real sequence is a mapping from the natural numbers $\N$ to the real numbers $\R$.

Thus a bounded real sequence is a bounded real-valued function.

The result follows from Supremum Metric on Bounded Real-Valued Functions is Metric.