Right continuity and a strict gap give a genuine nondegenerate future interval entirely below a fixed level

Initializing...

Right continuity and a strict gap give a genuine nondegenerate future interval entirely below a fixed level · Prove2Me