A Poisson process has a Poisson distribution for the count in an interval of length , with mean equal to rate times length. Fifteen minutes is hour, so
The first arrival time , measured in hours after opening, has exponential distribution of rate twelve. ThereforeEquivalently, there must be no arrivals in the first quarter hour and at least one in the next; independent increments give .
Let and be the interarrival times adjacent to the second arrival. They are independent exponential random variables of rate twelve per hour. The second customer meets the first if hour, and meets a later customer if hour. If the third arrives too late, every subsequent customer does also. Thus the only way to meet nobody is for both gaps to be at least five minutes:Hence . Exact equality of arrival and departure times has probability zero. The calculation includes both customers already present and customers arriving during the visit; it is a two-sided interarrival test for overlap.
Independent marking with probability is Poisson thinning and gives a Poisson process of chip-buying arrivals, of rate per hour. Its first arrival time therefore satisfiesFor example, its survival probability is , which also derives the thinning conclusion directly.
For , independence and the uniform distribution giveSince , for ,For the probability is zero. This is exactly convergence in probability of to one.
Put . For fixed and sufficiently large ,For its distribution function is zero. The limiting distribution function is therefore for , for , the exponential distribution of rate one. Since this distribution function is continuous everywhere,
For the uniform distribution on , the mean is and the variance is . The central limit theorem for independent identically distributed variables with finite nonzero variance givesChoose . ThenThe standard normal distribution function is continuous and strictly increasing, so its value at the finite positive number is strictly between and one, as required.
Articles by others on the same topic
There are currently no matching articles.