Description: The extended real numbers are unbounded above. (Contributed by Mario Carneiro, 7-May-2016)