Successful strict two-sided upper exit implies survival above the lower level throughout the prefix

Initializing...

Successful strict two-sided upper exit implies survival above the lower level throughout the prefix · Prove2Me