$P_x=P-a\mid a\ge x$