 Finite-bracket convergence lemma

A continuous local martingale converges to a finite limit on the event that its terminal bracket is finite. Stopping at each integer bracket level gives an L2-bounded martingale and its almost sure limit. On the finite-bracket event, some such stopped process coincides with the original process forever. This supplies terminal values for a finite DDS lifetime.