Lenglart's inequality

In the mathematical theory of probability, Lenglart's inequality was proved by Èrik Lenglart in 1977.

[1] Later slight modifications are also called Lenglart's inequality.

Let X be a non-negative right-continuous

-adapted process and let G be a non-negative right-continuous non-decreasing predictable process such that

for any bounded stopping time