theorem :: XXREAL_2:48

{-infty} is bounded_above