Definition:Supremum Metric on Bounded Real Sequences