HM.LMIR.7.1: Investigate the implications of infinite sets of real numbers.