theorem :: XXREAL_2:41

for X being ext-real-membered set holds +infty is UpperBound of X