Closed Real Interval is Compact