4.9.25 · D5Probability Theory & Statistics
Question bank — Monte Carlo simulation — law of large numbers basis
The cast of symbols (read this first)
Before any trap, let us pin down every symbol so no reveal below uses an undefined character.

The picture above is your anchor: inputs → → outputs → average. Every trap below is a way this pipeline can be misread. The recurring engines that justify the arrows are Strong Law of Large Numbers and Central Limit Theorem.
True or false — justify
True or false: If you quadruple the number of Monte Carlo samples, you halve the error.
True. Error scales as , and , so the denominator doubles and the SE halves. This is the "4× work = 2× accuracy" rule.
True or false: The Monte Carlo estimator is always unbiased.
==True whenever exists==. By linearity, — no dependence on , and no independence assumption is needed for unbiasedness (that's only needed for the variance).
True or false: A larger sample always gives a smaller error on any single run.
False. The estimate is random; a specific large- run can, by bad luck, land farther from than a small- run. LLN promises the probability of large error shrinks, not that every draw improves.
True or false: Monte Carlo error scaling gets worse in high dimensions.
False. The rate is dimension-independent — that is Monte Carlo's whole selling point over grid-based Numerical Integration, whose cost explodes exponentially with dimension.
True or false: Doubling from to meaningfully improves a 3-decimal estimate.
False in practice. Error only drops by factor , i.e. ~30%. To gain a full decimal digit you need the samples, so doubling barely moves the needle.
True or false: If and agree to 5 digits on one run, you've achieved 5-digit accuracy.
False. Agreement on one run can be coincidence. Accuracy is a statement about the distribution of — you certify it via the SE and a confidence interval, not by eyeballing one lucky number.
True or false: The Weak Law needs finite variance; the Strong Law also needs finite variance.
False for the Strong Law. The SLLN (Kolmogorov) holds under only (finite mean). Chebyshev's clean WLLN proof uses finite , but a finite mean already suffices for the conclusion — see the "why" item below for the justification.
True or false: Correlated samples still give an unbiased estimate.
True — but with wrong error bars. Bias depends only on , which correlation doesn't change. What breaks is ; see Variance and Covariance — nonzero covariances between draws inflate the true variance.
Spot the error
Spot the error: "Since , for we have exactly."
Convergence in probability means the chance of being far from vanishes, not that equality is ever reached. For finite there is always residual randomness of size ~.
Spot the error: "."
The constant pulled out of variance is , not , because with . Correct result is , which actually shrinks.
Spot the error: "For the estimate, ."
Missing the factor 4. , so you must scale: . Forgetting it gives an answer near , not .
Spot the error: ", so with ."
On the uniform density is , not , so . You must multiply by the interval length: .
Spot the error: "The estimator's SE is ."
SE uses the standard deviation , not the variance . It is ; the variance of the estimate is .
Spot the error: "I report but I only have samples."
The factor comes from the normal approximation of the Central Limit Theorem, which needs large . At the CLT hasn't kicked in and the interval is untrustworthy.
Spot the error: "For a Cauchy-tailed integrand, more samples fix the noisy estimate."
If the sample mean never settles — LLN simply does not apply. Adding samples cannot rescue a broken integrand; you must reformulate (e.g. Importance Sampling) or the estimator diverges.
Why questions
Why does the Monte Carlo error scale as rather than ?
Because variance falls as , and the error is a standard deviation — the square root of variance — giving . The square root is what turns into .
Why does independence matter for the variance formula but not for unbiasedness?
Unbiasedness uses linearity of expectation, which ignores dependence. Variance of a sum only equals the sum of variances when covariance terms vanish — and independence is what makes those covariances zero (see Variance and Covariance).
Why can we write a probability as an expectation?
Because the indicator equals on and elsewhere, so . This is why counting "hits" estimates a probability — it's a Bernoulli Distribution mean.
Why does Chebyshev's inequality appear in the LLN proof rather than the exact distribution?
Chebyshev's Inequality bounds deviation probability using only the variance, so it works for any distribution with finite . We never need to know the shape of — just that its variance .
Why does the WLLN still hold under only a finite mean, without finite variance?
The Chebyshev route needs , but it's not the only route. A truncation argument splits each into a bounded part (whose average is controlled by Chebyshev after truncating) plus a rare-tail part (whose contribution because makes the tail mass vanish). Kolmogorov's SLLN formalizes this, so finite mean alone gives convergence — finite variance only buys you the clean rate.
Why does Monte Carlo beat grid methods in high dimensions?
A grid with points per axis in dimensions costs — exponential in . Monte Carlo's rate is blind to , so its cost to reach a target error doesn't blow up as dimensions grow.
Why does the estimator have such a large standard error?
The indicator is Bernoulli with , giving variance and (after the ) . That fat constant plus the rate makes it converge slowly.
Why is a point estimate without error bars considered incomplete?
Monte Carlo output is a random number; its usefulness depends on how tight it is. Reporting alone hides whether it's good to one digit or five — the SE is what makes the claim falsifiable.
Edge cases
Edge case: What happens to the SE when the integrand is constant?
Then , so for every — a single sample gives the exact answer, since there's nothing random left to average out.
Edge case: What if ? Is the estimate still unbiased?
Yes — , so it's unbiased even at . But its variance is the full : the single output is the estimate, so it inherits the whole bounce of one poke and is unbiased yet wildly imprecise.
Edge case: The integrand has finite mean but infinite variance. Does the LLN still hold?
Yes — the Strong Law of Large Numbers only needs , so (via the truncation argument, not Chebyshev). But the CLT confidence interval and the rate collapse because , so you can't quantify the error the usual way.
Edge case: What if all your samples happen to be identical (a broken RNG)?
Effective sample size is . The effective sample size is "how many independent draws your correlated batch is really worth" — for perfectly correlated draws every copy carries the same information, so . The naive formula reports , but the true uncertainty is that of a single sample — dangerous overconfidence.
Edge case: You estimate but every dart lands inside on a tiny run. Sample variance is — is your true error zero?
No. The sample variance underestimates the true when you've observed no misses. Your reported SE of is a small-sample artifact; the real uncertainty is nonzero because the underlying .
Recall One-line summary of the traps
Bias needs only linearity of expectation; the rate needs independence and finite variance; the CLT interval needs large ; and convergence itself (LLN) needs only a finite mean . Break any one assumption and a different part of the guarantee fails — not all of them at once.