
7.3 Estimation of a Mean, Variance, and Proportion 241
The following is true for any distribution in the population as long as
EX
i
=µ and Var (X
i
) =σ
2
exist:
EX =µ, Var (X ) =
σ
2
n
. (7.2)
The above equations are a direct consequence of independence in a sample
and imply that
X is an unbiased and consistent estimator of µ.
If, in addition, we assume normality X
i
∼N (µ,σ
2
), then the sampling dis-
tribution of
X is known exactly,
X ∼N
µ
µ,
σ
2
n
¶
,
and the relations in (7.2) are apparent.
Chebyshev’s Inequality and Strong Law of Large Numbers*. There
are two general results in probability that theoretically justify the use of the
sample mean
X to estimate the population mean, µ. These are Chebyshev’s
inequality and strong law of large numbers (SLLN). We will discuss these
results without mathematical rigor.
The Chebyshev inequality states that when X
1
, X
2
,... , X
n
are i.i.d. ran-
dom variables with mean
µ and finite variance σ
2
, the probability that X will
deviate from
µ is small,
P(|X
n
−µ|≥²) ≤
σ
2
n²
2
,
for any
² > 0. The inequality is a direct consequence of (5.8) with (X
n
−µ)
2
in
place of X and
²
2
in place of a.
To translate this to specific numbers, choose
² small, say 0.000001. Assume
that the X
i
s have a variance of 1. The Chebyshev inequality states that with
n larger than the solution of 1/(n
×0.0000001
2
) =0.9999, the distance between
X
n
and µ will be smaller than 0.000001 with a probability of 99.99%. Admit-
tedly, n here is an experimentally unfeasible number; however, for any small
², finite σ
2
, and “confidence” close to 1, such n is finite.
The laws of large numbers state that, as a numerical sequence,
X
n
con-
verges to
µ. Care is needed here. The sequence X
n
is not a sequence of num-
bers but a sequence of random variables, which are functions defined on sam-
ple spaces
S . Thus, direct application of a “calculus” type of convergence is
not appropriate. However, for any fixed realization from sample space
S , the
sequence
X
n
becomes numerical and a traditional convergence can be stated.
Thus, a correct statement for the so-called SLLN is