Category:Supremum Metric on Bounded Real Functions on Closed Interval is Metric