The actual first closed-superlevel hit of any adapted increasing upper-semicontinuous process, capped at finite horizon, is a stopping time

Initializing...

The actual first closed-superlevel hit of any adapted increasing upper-semicontinuous process, capped at finite horizon, is a stopping time · Prove2Me