First genuine reflected running-maximum hit occurs before any finite terminal time at which the reflected process lies below that maximum

Initializing...

First genuine reflected running-maximum hit occurs before any finite terminal time at which the reflected process lies below that maximum · Prove2Me