Independent increments give independent Poisson variables and with means and . Dividing their joint probability by yieldsThus the conditional distribution is binomial distribution with parameters .
The event means that at most events have occurred by . ConsequentlyFor , 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
There are currently no matching articles.