TeX source:

P(A|B)\leq P(A'|B)