---
title: Extended Ville’s Inequality
url: https://www.emergentmind.com/topics/extended-ville-s-inequality
type: topic
---

# Extended Ville’s Inequality

The extended Ville’s inequality encompasses a spectrum of maximal inequalities for supermartingales, generalizing the original result to richer settings including monotonic lower bounds, time-varying upper thresholds, and nonintegrable processes. These generalizations are fundamental in the analysis of anytime-valid inference, sequential hypothesis testing, and the structure of e-processes within modern sequential statistics.

## 1. Classical Ville's Inequality: Background and Scope

Ville’s inequality provides a foundational probabilistic tail bound for nonnegative supermartingales. Given a filtered probability space and a nonnegative adapted supermartingale $\{M_n\}_{n\ge0}$, the classical result asserts that for any constant $C>0$,
\[
\Pr\bigl(\exists n \ge 0 : M_n \ge C\bigr) \le \frac{\mathbb{E}[M_0]}{C}.
\]
This bound is central in avoiding a union bound when establishing type I error control under optional stopping and is key in constructing confidence sequences and e-values [2502.16019, 2304.01163].

## 2. Generalization to Monotonic Barriers and Thresholds

The generalisation of Ville’s inequality replaces the constant lower and upper bounds with monotonic curves $a(n)$ and $b(n)$, respectively. Specifically, $a(n)$ is a nonincreasing process representing a time-varying floor, and $b(n)$ a nondecreasing process representing a moving upper threshold. Under this framework, the key inequality is:

\[
\begin{aligned}
&\text{Let } a: \mathbb{N} \to \mathbb{R} \text{ nonincreasing},~ b: \mathbb{N} \to \mathbb{R} \text{ nondecreasing},\\
& a(0) < b(0),~ M_0 \in [a(0), b(0)]~\text{a.s.},~ \mathbb{E}[M_0] \in [a(0), b(0)],\\
& (M_n)_{n\ge0}~\text{is adapted with}~\mathbb{E}[M_{n+1}|\mathcal{F}_n]\le M_n,~M_n\ge a(n)~\forall n,
\end{aligned}
\]
then defining
\[
s(n) = \prod_{k=n}^\infty \left(1-\frac{a(k)-a(k+1)}{b(k+1)-a(k+1)}\right),
\]
the general bound is
\[
\Pr\Bigl(\exists n \ge 0 : M_n \ge b(n)\Bigr) \le 1-\frac{b(0)-\mathbb{E}[M_0]}{b(0)-a(0)}\prod_{k=0}^\infty\frac{b(k+1)-a(k)}{b(k+1)-a(k+1)}.
\]
When $a(n)\equiv0$, $b(n)\equiv C$, the classical bound is retrieved [2502.16019].

## 3. Tightness and “Floor-Hugger” Martingale Construction

The sharpness of the extended inequality is established through the construction of a martingale that achieves bound equality, often termed the “floor-hugger” martingale. This process starts at $M_0=a(0)$, remains at the floor $a(n)$ as long as possible, and at each time $n$, with probability
\[
p_n = \frac{a(n)-a(n+1)}{b(n+1)-a(n+1)},
\]
jumps to the current threshold $b(n+1)$. Otherwise, it continues hugging the floor. This construction produces the exact product-form hitting probability prescribed by the general bound, demonstrating optimality [2502.16019]. 

## 4. Extensions to Nonintegrable Supermartingales

The theory of extended Ville’s inequality further loosens integrability requirements by considering extended nonnegative supermartingales (ENSMs) taking values in $[0,\infty]$. For such $M_n$, the following bound holds for all $C>0$ and all $m\ge0$:
\[
\Pr[\exists n\ge m : M_n \ge C] \le \Pr[M_m \ge C] + \frac{1}{C}\,\mathbb{E}[M_m \mathbf{1}_{\{M_m<C\}}] = \frac{\mathbb{E}[M_m \wedge C]}{C}.
\]
This formulation maintains validity even when $\mathbb{E}[M_0]=\infty$, by replacing expectations with their truncated counterpart. The proof uses truncation and extended conditional expectation theory, preserving martingale properties across arbitrary stopping times [2304.01163].

Additionally, improper or $\sigma$-finite mixtures of ENSMs—often arising from “flat” priors—preserve the supermartingale structure and validity of the inequality. This is instrumental for modern sequential testing and construction of confidence sequences under nonparametric or composite nulls.

## 5. Applications: Sequential Inference and Concentration

Several applications are enabled by the extended inequality:

- **Anytime-valid sequential inference**: Construction of confidence sequences and e-values that retain error guarantees under arbitrary stopping, avoiding union bounds. For example, combining with improper mixture arguments yields “flat prior” martingales valid for confidence sequences in nonparametric mean estimation [2304.01163].
- **Finite-time Law of the Iterated Logarithm**: By selecting appropriate $a(n)$ and $b(n)$, the generalised inequality produces finite-sample versions of the LIL with explicit constants. For i.i.d. sub-Gaussian variables,
  \[
  |S_n| \le \sqrt{n+1}\left[\sqrt{2\ln\left(1+\frac{\frac{\ln(n+1)}{\sqrt\pi}+e\sqrt2/\delta'~\ln^2(\ln(n+1)/(\sqrt{2\pi}+e))}{\delta'}}\right)+\frac{1}{\sqrt2}\right]
  \]
  holds with probability at least $1-\delta$ for every $n$, with $\delta'=-\ln(1-\delta)$, recovering the classic iterated-log asymptotics up to vanishing $o(1)$ terms [2502.16019].
- **Multiple testing and subsidized paths**: The nonconstant lower barrier $a(n)$ can be interpreted as a subsidy, modeling scenarios where repeated or parallel testing is allowed, with the bound naturally adjusting to account for the subsidy effect on hitting probabilities [2502.16019].
- **Game-theoretic probability and e-processes**: The result encompasses e-processes and improper mixtures in defensive forecasting. Extended inequalities are crucial when standard supermartingale mixtures become improper or dip below zero in a controlled fashion [2502.16019, 2304.01163].

## 6. Technical Summary and Fundamental Implications

The following table summarizes key distinctions and features of the various Ville-type inequalities:

| Inequality Type                           | Integrability Required | Allowable Barriers | Typical Application      |
|-------------------------------------------|-----------------------|--------------------|-------------------------|
| Classical Ville                          | Yes                   | $a(n)\equiv0$, $b(n)\equiv C$ | Optional stopping, e-values |
| Monotonic-barrier Ville [2502.16019]     | Yes                   | $a(n)$ nonincreasing, $b(n)$ nondecreasing | Finite-time LIL, subsidized testing |
| Nonintegrable extended Ville [2304.01163] | No                    | $a(n)\equiv0$, $b(n)\equiv C$ | Improper mixtures, nonparametrics  |

This framework unifies anytime-valid methodology across integrable and improper (non-integrable) supermartingale regimes and enables the design of valid and sharp controls for pathwise exceeding events under complex, time-varying constraints. The interplay with mixture methods allows for rigorous nonparametric inference even with improper priors.

## 7. Connections and Ongoing Directions

The advances in extended Ville-type inequalities resolve several foundational issues in the construction of optional-stopping–robust methods for sequential analysis. The incorporation of monotonic boundaries and the allowance for nonintegrable processes extends the reach to settings involving nonparametric testing, e-processes for composite nulls, and robust uncertainty quantification via confidence sequences. 

A plausible implication is the potential to further generalize optional stopping inequalities to continuous time, more general filtrations, and settings where supermartingale lower bounds are stochastic rather than deterministic. These developments are tightly coupled with advances in e-process theory, game-theoretic probability, and sequential multiple testing procedures [2502.16019, 2304.01163].

Source: https://www.emergentmind.com/topics/extended-ville-s-inequality