A positive finite reflected excursion's exact first maximal-height hit coincides with its capped stopping-time clock

Initializing...

A positive finite reflected excursion's exact first maximal-height hit coincides with its capped stopping-time clock · Prove2Me