Independent increments give independent Poisson variables and with means and . Dividing their joint probability by yields
Thus the conditional distribution is binomial distribution with parameters .
The event means that at most events have occurred by . Consequently
For , the conditional event time lies in . Integrate its survival function and substitute :
The index range is implicit in the source's last assertion. For , the th event is after , and independent future increments instead give expectation ; the displayed formula does not apply.

Articles by others on the same topic (0)

There are currently no matching articles.