for p being ExtReal holds [.+infty,p.[ = {}