theorem Th52: :: XXREAL_2:52

for X being ext-real-membered set st +infty is LowerBound of X holds
X c= {+infty}