Theorem 4.1 (Weak Law of Large Numbers). Let X 1 , X 2 , … X_1, X_2, \ldots X 1 , X 2 , … be i.i.d. With E [ X i ] = μ E[X_i] = \mu E [ X i ] = μ and V a r ( X i ) = σ 2 < ∞ \mathrm{Var}(X_i) = \sigma^2 < \infty Var ( X i ) = σ 2 < ∞ . Then for every ε > 0 \varepsilon > 0 ε > 0 :
lim n → ∞ P ( ∣ 1 n ∑ i = 1 n X i − μ ∣ ≥ ε ) = 0 \lim_{n \to \infty} P\left(\left|\frac{1}{n}\sum_{i=1}^{n} X_i - \mu\right| \geq \varepsilon\right) = 0 lim n → ∞ P ( n 1 ∑ i = 1 n X i − μ ≥ ε ) = 0
Proof. Let S n = 1 n ∑ i = 1 n X i S_n = \frac{1}{n}\sum_{i=1}^{n} X_i S n = n 1 ∑ i = 1 n X i . Then E [ S n ] = μ E[S_n] = \mu E [ S n ] = μ and V a r ( S n ) = σ 2 / n \mathrm{Var}(S_n) = \sigma^2/n Var ( S n ) = σ 2 / n . By Chebyshev”s inequality:
P ( ∣ S n − μ ∣ ≥ ε ) ≤ V a r ( S n ) ε 2 = σ 2 n ε 2 → 0 a s n → ∞ P(|S_n - \mu| \geq \varepsilon) \leq \frac{\mathrm{Var}(S_n)}{\varepsilon^2} = \frac{\sigma^2}{n\varepsilon^2} \to 0 \quad \mathrm{as\ } n \to \infty P ( ∣ S n − μ ∣ ≥ ε ) ≤ ε 2 Var ( S n ) = n ε 2 σ 2 → 0 as n → ∞
■ \blacksquare ■
Theorem 4.2 (Strong Law of Large Numbers). Under the same conditions:
P ( lim n → ∞ 1 n ∑ i = 1 n X i = μ ) = 1 P\left(\lim_{n \to \infty} \frac{1}{n}\sum_{i=1}^{n} X_i = \mu\right) = 1 P ( lim n → ∞ n 1 ∑ i = 1 n X i = μ ) = 1
The sample mean converges to the population mean almost surely.
Theorem 4.3 (Central Limit Theorem). Let X 1 , X 2 , … X_1, X_2, \ldots X 1 , X 2 , … be i.i.d. With E [ X i ] = μ E[X_i] = \mu E [ X i ] = μ and V a r ( X i ) = σ 2 ∈ ( 0 , ∞ ) \mathrm{Var}(X_i) = \sigma^2 \in (0, \infty) Var ( X i ) = σ 2 ∈ ( 0 , ∞ ) . Then
S n − n μ σ n → d N ( 0 , 1 ) \frac{S_n - n\mu}{\sigma\sqrt{n}} \xrightarrow{d} N(0, 1) σ n S n − n μ d N ( 0 , 1 )
Where S n = ∑ i = 1 n X i S_n = \sum_{i=1}^{n} X_i S n = ∑ i = 1 n X i and → d \xrightarrow{d} d denotes convergence in distribution.
Equivalently, for large n n n :
P ( S n − n μ σ n ≤ z ) ≈ Φ ( z ) P\left(\frac{S_n - n\mu}{\sigma\sqrt{n}} \leq z\right) \approx \Phi(z) P ( σ n S n − n μ ≤ z ) ≈ Φ ( z )
Where Φ \Phi Φ is the CDF of the standard normal.
Proof (using characteristic functions). Let φ X ( t ) = E [ e i t X ] \varphi_X(t) = E[e^{itX}] φ X ( t ) = E [ e i tX ] be the characteristic function of X 1 X_1 X 1 . The characteristic function of ( S n − n μ ) / ( σ n ) (S_n - n\mu)/(\sigma\sqrt{n}) ( S n − n μ ) / ( σ n ) is:
φ n ( t ) = [ φ X ( t σ n ) ] n ⋅ e − i t n μ / σ \varphi_n(t) = \left[\varphi_X\left(\frac{t}{\sigma\sqrt{n}}\right)\right]^n \cdot e^{-it\sqrt{n}\mu/\sigma} φ n ( t ) = [ φ X ( σ n t ) ] n ⋅ e − i t n μ / σ
Expanding φ X \varphi_X φ X around 0: φ X ( s ) = 1 + i μ s − ( σ 2 + μ 2 ) s 2 2 + o ( s 2 ) \varphi_X(s) = 1 + i\mu s - \frac{(\sigma^2 + \mu^2)s^2}{2} + o(s^2) φ X ( s ) = 1 + i μ s − 2 ( σ 2 + μ 2 ) s 2 + o ( s 2 ) . Substituting s = t / ( σ n ) s = t/(\sigma\sqrt{n}) s = t / ( σ n ) :
φ n ( t ) = [ 1 + i μ t σ n − ( σ 2 + μ 2 ) t 2 2 σ 2 n + o ( 1 n ) ] n ⋅ e − i t n μ / σ \varphi_n(t) = \left[1 + \frac{i\mu t}{\sigma\sqrt{n}} - \frac{(\sigma^2 + \mu^2)t^2}{2\sigma^2 n} + o\left(\frac{1}{n}\right)\right]^n \cdot e^{-it\sqrt{n}\mu/\sigma} φ n ( t ) = [ 1 + σ n i μ t − 2 σ 2 n ( σ 2 + μ 2 ) t 2 + o ( n 1 ) ] n ⋅ e − i t n μ / σ
Using lim n → ∞ ( 1 + a n / n ) n = e lim a n \lim_{n \to \infty}(1 + a_n/n)^n = e^{\lim a_n} lim n → ∞ ( 1 + a n / n ) n = e l i m a n :
lim n → ∞ φ n ( t ) = exp ( i μ t σ − ( σ 2 + μ 2 ) t 2 2 σ 2 ) ⋅ exp ( − i μ t σ ) = e − t 2 / 2 \lim_{n \to \infty} \varphi_n(t) = \exp\left(\frac{i\mu t}{\sigma} - \frac{(\sigma^2 + \mu^2)t^2}{2\sigma^2}\right) \cdot \exp\left(-\frac{i\mu t}{\sigma}\right) = e^{-t^2/2} lim n → ∞ φ n ( t ) = exp ( σ i μ t − 2 σ 2 ( σ 2 + μ 2 ) t 2 ) ⋅ exp ( − σ i μ t ) = e − t 2 /2
This is the characteristic function of N ( 0 , 1 ) N(0, 1) N ( 0 , 1 ) . By Levy’s continuity theorem, the convergence in distribution follows. ■ \blacksquare ■
Problem. A fair die is rolled 100 times. Approximate the probability that the sum exceeds 370.
Solution Let X i X_i X i be the value of the i i i -th roll. Then E [ X i ] = 7 / 2 = 3.5 E[X_i] = 7/2 = 3.5 E [ X i ] = 7/2 = 3.5 and V a r ( X i ) = 35 / 12 ≈ 2.917 \mathrm{Var}(X_i) = 35/12 \approx 2.917 Var ( X i ) = 35/12 ≈ 2.917 .
S 100 = ∑ i = 1 100 X i S_{100} = \sum_{i=1}^{100} X_i S 100 = ∑ i = 1 100 X i . By the CLT:
S 100 − 350 100 ⋅ 35 / 12 ≈ N ( 0 , 1 ) \frac{S_{100} - 350}{\sqrt{100 \cdot 35/12}} \approx N(0, 1) 100 ⋅ 35/12 S 100 − 350 ≈ N ( 0 , 1 )
P ( S 100 > 370 ) = P ( Z > 370 − 350 291.7 ) ≈ P ( Z > 1.17 ) ≈ 0.121 P(S_{100} > 370) = P\left(Z > \frac{370 - 350}{\sqrt{291.7}}\right) \approx P(Z > 1.17) \approx 0.121 P ( S 100 > 370 ) = P ( Z > 291.7 370 − 350 ) ≈ P ( Z > 1.17 ) ≈ 0.121
■ \blacksquare ■
Worked Example: Sample Mean Distribution Solution. A population has mean 50 and standard deviation 10. Find the probability that the mean of a sample of 64 observations exceeds 52.
By the CLT, X ˉ ≈ N ( 50 , 100 / 64 ) = N ( 50 , 1.5625 ) \bar{X} \approx N(50, 100/64) = N(50, 1.5625) X ˉ ≈ N ( 50 , 100/64 ) = N ( 50 , 1.5625 ) .
P ( X ˉ > 52 ) = P ( Z > 52 − 50 1.5625 ) = P ( Z > 1.6 ) ≈ 0.0548 P(\bar{X} > 52) = P\left(Z > \frac{52 - 50}{\sqrt{1.5625}}\right) = P(Z > 1.6) \approx 0.0548 P ( X ˉ > 52 ) = P ( Z > 1.5625 52 − 50 ) = P ( Z > 1.6 ) ≈ 0.0548
■ \blacksquare ■
The CLT does not apply to small samples. The CLT is an asymptotic result. For small n n n ( n < 30 n < 30 n < 30 ), the normal approximation can be poor unless the underlying distribution is already close to normal. Use the Berry—Esseen theorem for finite-sample bounds.Independence is critical for the LLN and CLT. If the X i X_i X i are dependent, the sample mean may not converge to the population mean, or the convergence rate may differ. For stationary sequences with weak dependence, versions of these theorems still hold, but the …/1-number-and-algebra/3_proof-and-logics are more involved.Convergence in distribution is weaker than convergence in probability. The CLT gives convergence in distribution of the standardised sum, not convergence of the sum itself. The LLN gives the latter (convergence in probability).Berry-Esseen bound: For i.i.d. variables with E [ ∣ X ∣ 3 ] = ρ < ∞ E[|X|^3] = \rho < \infty E [ ∣ X ∣ 3 ] = ρ < ∞ , the rate of CLT convergence is bounded by ∣ F n ( z ) − Φ ( z ) ∣ ≤ C ρ / ( σ 3 n ) |F_n(z) - \Phi(z)| \leq C\rho/(\sigma^3\sqrt{n}) ∣ F n ( z ) − Φ ( z ) ∣ ≤ C ρ / ( σ 3 n ) where C < 0.4748 C < 0.4748 C < 0.4748 .Lindeberg-Feller CLT: Generalises the CLT to independent (but not identically distributed) random variables. Requires the Lindeberg condition: no single variable dominates the sum.CLT for sample proportions: If Y i ∼ Bernoulli ( p ) Y_i \sim \text{Bernoulli}(p) Y i ∼ Bernoulli ( p ) , then p ^ = Y ˉ ≈ N ( p , p ( 1 − p ) / n ) \hat{p} = \bar{Y} \approx N(p, p(1-p)/n) p ^ = Y ˉ ≈ N ( p , p ( 1 − p ) / n ) for large n n n . This is the basis of confidence intervals for proportions.Delta method: If n ( X ˉ − μ ) → d N ( 0 , σ 2 ) \sqrt{n}(\bar{X} - \mu) \xrightarrow{d} N(0, \sigma^2) n ( X ˉ − μ ) d N ( 0 , σ 2 ) , then n ( g ( X ˉ ) − g ( μ ) ) → d N ( 0 , [ g ′ ( μ ) ] 2 σ 2 ) \sqrt{n}(g(\bar{X}) - g(\mu)) \xrightarrow{d} N(0, [g'(\mu)]^2\sigma^2) n ( g ( X ˉ ) − g ( μ )) d N ( 0 , [ g ′ ( μ ) ] 2 σ 2 ) for differentiable g g g . Extends the CLT to nonlinear functions of the mean.A poll surveys 1000 voters and finds 540 support a candidate. Construct a 95% confidence interval for the true proportion p p p .
p ^ = 540 / 1000 = 0.54 \hat{p} = 540/1000 = 0.54 p ^ = 540/1000 = 0.54 . By the CLT, p ^ ≈ N ( p , p ( 1 − p ) / n ) \hat{p} \approx N(p, p(1-p)/n) p ^ ≈ N ( p , p ( 1 − p ) / n ) . For a 95% CI:
p ^ ± z 0.025 p ^ ( 1 − p ^ ) n = 0.54 ± 1.96 0.54 × 0.46 1000 = 0.54 ± 0.031 \hat{p} \pm z_{0.025}\sqrt{\frac{\hat{p}(1-\hat{p})}{n}} = 0.54 \pm 1.96\sqrt{\frac{0.54 \times 0.46}{1000}} = 0.54 \pm 0.031 p ^ ± z 0.025 n p ^ ( 1 − p ^ ) = 0.54 ± 1.96 1000 0.54 × 0.46 = 0.54 ± 0.031
The 95% CI is ( 0.509 , 0.571 ) (0.509, 0.571) ( 0.509 , 0.571 ) . Since the interval includes 0.5, we cannot reject the hypothesis that the race is tied at the 5% significance level.
Events occur at rate λ = 50 \lambda = 50 λ = 50 per hour. Approximate P ( S ≤ 60 ) P(S \leq 60) P ( S ≤ 60 ) where S S S is the total count in one hour.
The Poisson distribution with λ = 50 \lambda = 50 λ = 50 has mean 50 and variance 50. By the CLT:
P ( S ≤ 60 ) ≈ P ( Z ≤ 60 − 50 50 ) = P ( Z ≤ 1.414 ) ≈ 0.9214 P(S \leq 60) \approx P\left(Z \leq \frac{60 - 50}{\sqrt{50}}\right) = P(Z \leq 1.414) \approx 0.9214 P ( S ≤ 60 ) ≈ P ( Z ≤ 50 60 − 50 ) = P ( Z ≤ 1.414 ) ≈ 0.9214
The exact Poisson probability is 0.9278. The normal approximation is accurate to within 1%.
A fair die is rolled 60 times. Approximate the probability that the total is between 200 and 240.
Each roll has E [ X i ] = 3.5 E[X_i] = 3.5 E [ X i ] = 3.5 and V a r ( X i ) = 35 / 12 \mathrm{Var}(X_i) = 35/12 Var ( X i ) = 35/12 . By the CLT, the total S 60 S_{60} S 60 satisfies:
P ( 200 < S 60 < 240 ) = P ( 200 − 210 60 × 35 / 12 < Z < 240 − 210 60 × 35 / 12 ) P(200 < S_{60} < 240) = P\left(\frac{200 - 210}{\sqrt{60 \times 35/12}} < Z < \frac{240 - 210}{\sqrt{60 \times 35/12}}\right) P ( 200 < S 60 < 240 ) = P ( 60 × 35/12 200 − 210 < Z < 60 × 35/12 240 − 210 )
= P ( − 10 13.23 < Z < 30 13.23 ) = P ( − 0.756 < Z < 2.268 ) = P\left(\frac{-10}{13.23} < Z < \frac{30}{13.23}\right) = P(-0.756 < Z < 2.268) = P ( 13.23 − 10 < Z < 13.23 30 ) = P ( − 0.756 < Z < 2.268 )
≈ Φ ( 2.268 ) − Φ ( − 0.756 ) = 0.9883 − 0.2248 = 0.7635 \approx \Phi(2.268) - \Phi(-0.756) = 0.9883 - 0.2248 = 0.7635 ≈ Φ ( 2.268 ) − Φ ( − 0.756 ) = 0.9883 − 0.2248 = 0.7635