In the mathematical theory of probability, Lenglart's inequality was proved by ÃÂrik Lenglart in 1977. Later slight modifications are also called Lenglart's inequality.
Let be a non-negative right-continuous -adapted process and let be a non-negative right-continuous non-decreasing predictable process such that for any bounded stopping time . Then