P
Initializing...
Running supremum stays below a level before an extended first-upcrossing clock · Prove2Me