Let $f(x)$ be integrable and non-negative. Let $\int_{-\infty} ^\infty f(x)dx = 1$ and let $F(x)=\int_{-\infty} ^xf(y)dy$. Also, assume $xf(x)$ is integrable. Use Fubini's Theorem to show that:
$\int_{0}^\infty (1-F(x))dx = \int_0 ^\infty xf(x) dx$.
Well, my initial idea was to substitute the definition of $F(x)$ into the LHS. But that "1" there stands in the way . I tried to split the integral to include the 1 in it somehow, but it also does not work. What is the trick here?