Источник TeX:

P(A+B)\leq P(B)