Ville不等式

e-process是一类非负鞅或超鞅，在零假设下其期望不超过1，从而通过Ville不等式提供 anytime-valid 的序贯检验。

在序列分析中，随时有效界限常通过构造非负上鞅并应用Ville不等式来实现。

乘积下注鞅的核心思想是选择一个可预测的下注函数，使得乘积鞅的期望不超过1，然后应用Ville不等式得到超过1/α的概率至多α。