theorem :: XXREAL_1:217

for p being ExtReal st p <> +infty holds
[.+infty,p.] = {}