The event occurs precisely when every one of the first levels is at most . Their independence gives the cumulative distribution function
For any nonnegative random variable, the pointwise identity and the Tonelli theorem allow interchange of expectation and integral. Hence
This identity holds as an extended nonnegative integral; finiteness of the mean is not guaranteed by continuity of .

Articles by others on the same topic (0)

There are currently no matching articles.