After a record of value , the first subsequent observation exceeding it has the original distribution conditioned on . Indeed, summing over the number of failed observations gives the density
Independence makes this conditional transition depend only on the latest record. Multiplying these transitions, starting with the density , proves
The ordering indicator is part of the density; it is zero elsewhere. Continuity of the observation distribution avoids ties.
Take when no record has occurred below , the needed convention for the maximum of an empty set. Assume and write . Given the latest record , the chance that the next one exceeds is . Multiplying this by the joint density from part (a) leaves
on the ordered simplex . Its integral is , where . The probability is directly . Hence
This is Poisson record counts in cumulative hazard coordinates; the instantaneous rate is the original distribution's hazard function. If the distribution has a finite upper endpoint and reaches it, and infinitely many record values lie below almost surely; there is then no finite-parameter Poisson law. The finite-hazard assumption is thus necessary for the literal assertion.

Articles by others on the same topic (0)

There are currently no matching articles.