The strong law of large numbers gives
A continuous one-to-one real function is strictly monotone and has a continuous inverse on its image. Hence
whenever lies in that image; an arbitrary extension outside the image handles the remaining finite-sample values. The continuous mapping theorem gives almost surely, so this is a consistent estimator.
Here the total holding rate is
and therefore the jump chain has state-independent transitions
It is an upward biased random walk on . By the strong law of large numbers, almost surely, so . The jump chain, and hence , is transient.
Counting measure is invariant for this jump chain: for every , its incoming mass is . The invariant-measure transfer between a jump chain and a CTMC therefore gives an invariant measure proportional to . Since
the normalized invariant distribution of a continuous-time Markov chain is
This does not contradict transience because an invariant distribution of an explosive chain need not imply positive recurrence.
It remains to verify explosion. Starting from zero, the probability that the biased walk ever reaches is . Once it reaches any state, its probability of returning after departure is
so its expected total number of visits to that state, conditional on reaching it, is . If is the number of visits to , then
Consequently the expected sum of all holding times is
The nonnegative random variable is therefore finite almost surely. By explosion by summable holding times, makes infinitely many jumps by time , so it is explosive.
The strong law of large numbers states that if are independent and identically distributed random variables with , then
almost surely. Under the stronger fourth-moment hypothesis, it has a short proof. Put , , and . Independence and centering make every term in the expansion of vanish unless each index occurs at least twice, so
For every , the Markov inequality gives
The probabilities are summable, so the first Borel-Cantelli lemma says that occurs only finitely often almost surely. Apply this simultaneously to to obtain almost surely, which is the claimed law.
By the strong law of large numbers,
almost surely. Brownian scaling and a maximal inequality show that changing Brownian time by changes its value by ; explicitly, first restrict to , bound the Brownian maximum over a time interval of length , and then let . Consequently
in probability.
But
for every . Since has the law of , Slutsky theorem proves the Central limit theorem from the Skorokhod embedding:
The strong law of large numbers states that for independent identically distributed integrable random variables,
To prove it, set . The tail-sum formula gives , so the Borel-Cantelli lemmas make the two sequences eventually equal. Also
The Kolmogorov convergence theorem implies that converges almost surely, and Kronecker lemma yields
Finally , so the Cesaro mean of these expectations tends to .
Using Bayes theorem and the fact that the prior is proper,
Thus is an unbiased estimator of , and the Harmonic mean estimator of Bayesian model evidence is . The reciprocal is not itself generally unbiased, though it is consistent when the strong law of large numbers applies.
Convergence in distribution makes tight. Hence for every there is such that for all sufficiently large . Since ,
Letting gives . Also, the continuous-mapping theorem gives . Since
the Slutsky theorem yields
Now write the requested statistic as
The central limit theorem gives
Since , the strong law of large numbers gives
almost surely, and therefore its reciprocal converges in probability to one. Applying the product result proves
This is a self-normalized central limit theorem with a second-moment denominator.
Assume that wherever on the part of the space relevant to . The importance sampling algorithm draws independent and identically distributed random variables from , forms the weights
and returns
A change of measure gives
Hence the estimator is unbiased whenever the expectation exists, and, if , the strong law of large numbers gives almost surely.
Conditionally on , the cumulative distribution function of is the weighted empirical distribution
For fixed , the strong law of large numbers gives, almost surely,
while
The ratio therefore converges almost surely to . This is precisely the claimed convergence in distribution of the self-normalized importance sampling resample.
Put . Its ridgeless minimum-norm fit is , so its first coordinates are
The strong law of large numbers applied entrywise gives almost surely as . Continuity of inversion then yields
almost surely, where the middle equality is the push-through identity.
Fix and then . By the assumptions on the derivative , there is a unique with . Apply exponential tilting to each summand:
Under the product tilted law, the variables remain independent and identically distributed random variables and have mean . Hence the strong law of large numbers implies that, for every ,
Changing measure on this event gives
Therefore
First let and then . The continuity of a convex function gives the lower bound . The endpoint follows by letting , while for the strong law of large numbers makes the probability tend to one. This proves the required lower bound.
The conditional multivariate normal distribution gives
For a jointly Gaussian vector, the residual is independent of the regressor, so with independent of .
The Square-root Lasso minimizes
At a nonzero residual , its KKT condition is
which proves the required inequality.
Writing the response vector as , the reverse triangle inequality gives
The strong law of large numbers gives , hence .
Under , Gaussianity makes independent of and hence of . Conditionally on , . The remaining numerator term obeys
Combining this with and Slutsky theorem proves the standard-normal limit.
For initially equatorial spins and uniform couplings on , expand . The strong law of large numbers then gives . On the scale , the total fourth-order remainder tends to zero, giving the Gaussian coherence envelope. This approximation concerns early times and does not remove finite spin-bath coherence recurrence.
Strong law for adjacent products Created 2026-10-05 Updated 2026-10-06
For independent and identically distributed random variables with and , the sample mean of tends to almost surely. Split into odd and even indexed products; each subsequence consists of independent and identically distributed random variables that are integrable random variables. Apply the strong law of large numbers separately.
If and the are pairwise uncorrelated random variables, then almost surely. Independence is unnecessary for this version of the strong law of large numbers. A uniformly bounded martingale difference sequence meets its hypotheses, since the differences have mean zero and are orthogonal in .
Suppose an integrable measurable-function class can be covered by finitely many function brackets of every positive width. For an independent sample with common law , the empirical measure satisfies on a common probability-one event. For one finite -cover, the supremum is bounded by plus the largest empirical error among its endpoints. The strong law of large numbers makes that finite maximum vanish. Taking a countable sequence of widths decreasing to zero proves the assertion. A measurable supremum can be obtained from a pointwise separable function class; otherwise the probability-one-event formulation expresses the same pathwise conclusion.