theorem :: XXREAL_0:43

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