Strict nonattainment of a level on a compact upper-semicontinuous prefix gives a uniform positive gap below the level

Initializing...

Strict nonattainment of a level on a compact upper-semicontinuous prefix gives a uniform positive gap below the level · Prove2Me