Theoremintro
Union bound
Also called Boole's inequality.
The probability of a union of events is at most the sum of their probabilities.
The probability of a union of events is at most the sum of their probabilities.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag ERAPMK Edit this page History Report an error