Ville's inequality

If ⚠ $(S_n)$ is a test martingale (i.e, a non-negative martingale with initial value 1), then, for each positive constant ⚠ $\lambda$, ⚠ $$ P(\sup_n S_n \ge \lambda) \le 1/\lambda. ⚠ $$ This was first demonstrated in Ville's 1939 book (page 100). This inequality is sometimes referred to as Doob's inequality.

Bibliography

• J. Ville, Etude critique de la notion de collectif. Paris: Gauthier-Villars, 1939.