For the last chocolate to be taken on choice , the first choices must include exactly chocolate choices, and choice must take chocolate. Before that final success there is still chocolate available, so no forced plain choice has yet occurred. The negative binomial stopping argument givesThis is the all-trials convention of the negative binomial distribution. The finite examination scenario also has a remaining probability that the tray still contains chocolate after all choices; the displayed probabilities need not sum to one over . At the last chocolate is never taken, and at it is taken on choice .
A forced plain choice occurs exactly when the last chocolate is taken before the final Fellow is served: if it is taken by choice , choice has no chocolate available, whatever that person's preference would have been. Exhaustion precisely on choice forces nobody. The distinct possible exhaustion times are disjoint events, henceEquivalently, imagine independent preferred choices even after stock is exhausted. The event is that at least preferred chocolate choices occur among the first people, so the binomial distribution gives . The success-count and waiting-time duality explains equality of these two sums. Plain-biscuit depletion cannot interfere because .
Articles by others on the same topic
There are currently no matching articles.