I have a problem, which I assume is easy to solve, but I don't know exact how to write a coherent argument...
1. For any distribution function and any , we have .
2. For any compactly supported function and any probability measure with cumulative function F, one has .