Chung–Erdős inequality
In probability theory, the Chung–Erdős inequality provides a lower bound on the probability that one out of many events occurs. The lower bound is expressed in terms of the probabilities for pairs of events.
Formally, let be events. Assume that for some. Then
The inequality was first derived by Kai Lai Chung and Paul Erdős. It was stated in the form given above by Petrov.
