In probability theory, the Chung–Erdős inequality provides a lower bound on the probability that one out of many (possibly dependent) events occurs. The lower bound is expressed in terms of the probabilities for pairs of events.
Formally, let
A1,\ldots,An
\Pr[Ai]>0
i
\Pr[A1\vee … \vee
A | ||||||||||||||||||||||||||||
|
.
The inequality was first derived by Kai Lai Chung and Paul Erdős (in,[1] equation (4)). It was stated in the form given above by Petrov (in,[2] equation (6.10)). It can be obtained by applying the Paley–Zygmund inequality to the number of
Ai