The actual Lévy running supremum exceeds a level exactly when the path has crossed it by that time

Initializing...

The actual Lévy running supremum exceeds a level exactly when the path has crossed it by that time · Prove2Me