Источник TeX:

P(A+B)\geq P(A)