Definition:L2 Metric on Closed Real Interval