Doob's maximal inequality

GPTKB entity