Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Discrete mathematics, continuous mathematics and probability (resit) / 9 / a / iii / Solution

Let $S(x)=\mathbb{P}(X>x)=1-F_X(x)$ for $x\ge 0$. Since $f_X=0$ on the negative half-line, $X\ge 0$ almost surely. We have $S^{\prime }=-f_X$ almost everywhere. On a finite interval, integration by parts givesThe lower endpoint contributes zero. The stated hypothesis gives $RS(R)\to 0$ as $R\to \infty$. Taking the increasing limits of the two nonnegative integrals proves the tail-integral identityThe equality allows the value $+\infty$; the boundary hypothesis alone does not force a finite expectation. In fact the formula for nonnegative $X$ also follows directly from Tonelli theorem, without that additional boundary hypothesis, by integrating $x={\int }_0^{\infty }{1}_{\{t<x\}}dt$ against the probability density function.