The Darth Vader rule

Using Henstock’s generalized Riemann integral, we show that, for any almost surely non-negative random variable X with probability density function fX and survival function s_X(x) := ∫∞ _x f_X(t) dt, the expected value of X is given by E(Xz) = ∫^∞₀ f_X(x) dx.