Category:Supremum Metric on Bounded Real Sequences is Metric