A compact upper-semicontinuous path attaining a supremum strictly above its endpoint reaches that maximum before the endpoint

Initializing...

A compact upper-semicontinuous path attaining a supremum strictly above its endpoint reaches that maximum before the endpoint · Prove2Me