for a being ExtReal st a in REAL holds
-infty < a