Prove that if distribution first order stochastically dominates distribution , then it must be

that () () for all , where is some compact set (Hint: you may find the

following part of definition of FOSD very useful: "... for every non-decreasing function ...", so you

can use any such function in your proof).