Ville's inequality (source code)

= Ville's inequality
{wiki=Ville's_inequality}

Ville's inequality is a result in probability theory that provides an upper bound on the probability of a certain event involving a martingale. Specifically, it deals with the behavior of a non-negative submartingale and relates to stopping times.