Capped countable-grid excursion drawdown first passage is an actual stopping time with right-continuous filtration

Initializing...

Capped countable-grid excursion drawdown first passage is an actual stopping time with right-continuous filtration · Prove2Me