Absorption-time bound from conditional variance and overshoot
ID: absorption-time-bound-from-conditional-variance-and-overshoot
Let a nonnegative martingale start at one, let be its first zero, and let be its first hit of . Suppose and on finite hits, for thresholds . Then is a submartingale. The bounded stopped values have mean one, so their second moment is at most . Consequently . For this implies the weaker bound . The threshold restriction prevents an impossible overshoot requirement below the starting value.
New to topics? Read the docs here!