theorem :: XXREAL_2:47

{+infty} is bounded_below