For downward-regular spectrally negative Lévy processes, the finite-horizon reflected running maximum cannot equal a fixed positive level while the terminal drawdown lies strictly below it

Initializing...

For downward-regular spectrally negative Lévy processes, the finite-horizon reflected running maximum cannot equal a fixed positive level while the terminal drawdown lies strictly below it · Prove2Me