1.3.14 · D5Probability & Statistics
Question bank — Law of large numbers
A quick vocabulary refresher before we start, so no symbol is used unnamed:
True or false — justify
The Law of Large Numbers guarantees that after enough coin flips you will have exactly 50% heads.
False — it guarantees the proportion gets close to 0.5, but the absolute count can still be off by dozens; randomness never fully vanishes.
If the sample mean converges to , then the variance of a single draw must shrink as grows.
False — is a fixed property of the distribution; it is the variance of the sample mean, , that shrinks.
The Weak Law requires the distribution to be Normal (bell-shaped).
False — the WLLN needs only i.i.d. draws with finite mean; any shape works.
Doubling your sample size halves your typical estimation error.
False — error scales as , so doubling only cuts error by a factor of ; you need the data to halve it.
The Strong Law implies the Weak Law.
True — almost-sure convergence is stronger and mathematically implies convergence in probability; the reverse implication does not hold.
The Chebyshev bound gives the actual probability of a large deviation.
False — it is only an upper bound (often very loose); the true probability, e.g. via the Central Limit Theorem, is usually far smaller.
A distribution with infinite variance can still obey the Law of Large Numbers.
True — finite mean is enough for the WLLN (e.g. via truncation arguments); finite variance is only needed for the Chebyshev-based proof, not the law itself.
If two estimators both converge to by the LLN, they are equally good in practice.
False — both are eventually correct, but one may have larger variance and converge far slower, so finite-sample behaviour differs.
Spot the error
"Because , seeing 600 heads in 1000 flips means the coin is definitely biased."
The standard error here is , so 60% is about 6 standard errors out — genuinely suspicious — but "definitely" ignores that rare events do occur; you'd test it, not declare it.
"The gambler's fallacy is fine: after 5 tails, heads is now more likely, because the LLN forces balance."
The LLN never pushes future outcomes to compensate; draws are independent, so the next flip is still 50/50. Balance emerges by dilution over many new trials, not by correction.
"To prove the Weak Law we used Chebyshev, so the Weak Law is false whenever variance is infinite."
The Chebyshev route is just one proof; the Weak Law still holds for finite-mean, infinite-variance cases via other methods. A failed proof technique doesn't kill the theorem.
" holds for any samples."
Only if the draws are independent — the cross terms (covariances) must vanish. For correlated samples the variance can be much larger and may not shrink like .
"Since the sample mean concentrates at , the sum also concentrates at ."
The sum's spread actually grows: its standard deviation is , which increases. Only the mean concentrates; the sum wanders further from in absolute terms.
"Monte Carlo error is in 1D, so in 100 dimensions it becomes ."
The rate is dimension-independent — that's the whole appeal of Monte Carlo. The exponent does not multiply with dimension.
Why questions
Why does the variance of the sample mean carry a before summing but the result is ?
Scaling by pulls out from variance (variance scales by the square of a constant); summing equal variances gives , and .
Why do we need identically distributed, not just independent, for the clean statement?
Without a common mean, "" has no single to converge to; identical distribution guarantees every draw shares the same target.
Why is the LLN the theoretical justification for estimating a probability by counting frequencies?
A probability equals the expected value of an indicator variable, and the LLN says the sample mean of those indicators (the observed frequency) converges to that expectation.
Why does the LLN matter for Stochastic Gradient Descent?
A mini-batch gradient is a sample mean of per-example gradients; by the LLN it converges to the true full-batch gradient, so noisy steps point on average in the right direction.
Why does confidence-interval width shrink slowly even with big data?
Interval width is proportional to the standard error , and the denominator means returns diminish — the last sliver of precision costs disproportionately many samples.
Why can a biased-but-low-variance estimator beat an unbiased-but-high-variance one on small samples?
This is the Bias-Variance Tradeoff: the LLN only removes error in the limit, so for finite a small controlled bias may reduce total error more than large variance.
Why does Bootstrap Sampling rely on the LLN?
Resampling estimates a statistic's distribution by averaging over many resamples; the LLN ensures those empirical averages approximate the true sampling behaviour as the number of bootstrap replicates grows.
Edge cases
What does the LLN say for the Cauchy distribution (no finite mean)?
It fails — the sample mean does not converge; each Cauchy sample mean is again Cauchy-distributed, so more data never helps. Finite mean is the essential precondition.
If (a constant "random" variable), what happens to the convergence?
It's trivially instant — every draw equals , so for all ; the Chebyshev bound is , matching perfect concentration.
For , what does the LLN framework predict?
Nothing useful — with full variance ; the law is a limiting statement and gives no guarantee at a single sample.
What if the samples are perfectly correlated (all equal to the same draw)?
Then equals that one draw regardless of , its variance stays , and it does not converge to — independence is what makes the shrinkage possible.
As in the Chebyshev bound , what happens and what does it mean?
The bound blows up to infinity (becomes vacuous), reflecting that demanding exact equality with can never be guaranteed at finite — you can only bound deviations larger than a fixed positive .
What happens to the guarantee if the true variance is unknown or underestimated?
The Chebyshev sample-size formula understates the required ; a larger true means you need proportionally more samples for the same precision, so an optimistic gives a false sense of security.
Recall One-line summary to lock in
The LLN is about concentration (probability piling near ) at rate ==, needs finite mean and independence==, and never forces balance in any single run.