One-sided bound criterion for a martingale clock (source code)

= One-sided bound criterion for a martingale clock

A continuous <local martingale> bounded above pathwise throughout a stochastic time interval cannot have infinite <quadratic variation> at that interval's endpoint. The <Dambis-Dubins-Schwarz theorem> represents it as Brownian motion at its quadratic-variation clock; an infinite clock would force unbounded oscillations. Its clock therefore has a finite limit, and so does the martingale. A bound below gives the same conclusion by changing sign. The bound may be random; it must hold over the entire interval.