2.1.16 problem 18

Note that . Hence, .

Since probabilities are nonnegative, this implies .

Thus, .