Real numbers/Several subsets/Concepts of boundedness/Exercise