Lenglart's inequalityIn the mathematical theory of probability, Lenglart's inequality was proved by Érik Lenglart in 1977. Later slight modifications are also called Lenglart's inequality.StatementLet 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. ThenGeneral sources*