Category:Compact Subspace of Real Numbers is Closed and Bounded