theorem :: XXREAL_0:41

for a being ExtReal holds max (a,+infty) = +infty