Источник TeX:
P(A)<P(B)