Theorem · Chebyshev's inequality, as Discrete Probability states itFor a random variable X with mean μ and finite standard deviation σ, and any k > 0, P(|X − μ| ≥ kσ) ≤ 1/k². Applied to the sample mean, whose standard deviation is the standard error, this reads: the interval X̄ ± k·SE covers μ with probability at least 1 − 1/k².
The statement is Discrete Probability's, in “Variance and Standard Deviation”, which states it and stops. The two-line derivation from Markov's inequality — apply Markov to (X − μ)² — belongs to the Algorithms path, in “Randomised Algorithms”, in the lesson that turns an expectation into a probability. This page uses the statement and points at the proof rather than repeating either.
What it buys is unusual and worth naming. The inequality holds for every distribution with a finite variance: skewed, bounded, discrete, bimodal, anything. There is no assumption in it that can turn out to be false about the model you actually simulated, which is precisely what makes it the right tool for a simulation whose output distribution nobody has written down.
The coverage counted, without taking a root
|X̄ − μ| ≥ k·SE is the same statement as (X̄ − μ)² ≥ k²·σ²/n, and the second one has no root in it. So the panel counts coverage by comparing two exact fractions, replication by replication, and the count is a whole number over a whole number rather than a verdict about two decimals.
Example · Forty replications of a hundred drawsOn the table 1, 4, 6, 4, 1 over 16, whose variance is exactly 1, each replication of 100 draws has a mean with variance 1/100. At k = 5 the guarantee is 1 − 1/25 = 24/25 = 96%, and the band actually covered 40 of 40 — 100%. The gap between 96% and 100% is not luck; it is the size of the slack in a bound that had to hold for every distribution at once.
Drag k down to 1 and the guarantee becomes 1 − 1/1 = 0: Chebyshev promises nothing whatever about ±1 SE. The observed coverage at that width on the same forty replications is 25 of 40, or 62.5%. Both numbers are correct and they are answers to different questions, and confusing them is the entire subject of this page.
The width, in the units the reader actually cares about
on this table σ² = 1, and with n = 100 per replication
SE = 1/10 exactly — 100 is a square
k = 5 half-width 5 × 1/10 = 1/2 guarantee 24/25 = 96%
k = 2 half-width 2 × 1/10 = 1/5 guarantee 3/4 = 75%
k = 1 half-width 1 × 1/10 = 1/10 guarantee 0
width ratio (1/2) / (1/5) = 5/2 = 2.5
matching it with runs instead: (5/2)² = 25/4 = 6.25 times the draws
The phrase to avoid is “five times wider”. Five standard errors against two is a ratio of 5/2, and the number 5 in k = 5 is not a width ratio at all. The two-and-a-half is the honest price of the guarantee, and it is small enough that a reader who wanted 96% rather than an assumption of 95% might well pay it.
The other way to pay is with runs. Keep k = 5 and narrow the standard error until the band is as tight as ±2 SE was: since the width falls like 1/√n, that takes (5/2)² = 25/4 times the draws. Six and a quarter times the compute for the same width, with a guarantee instead of an assumption, is a trade a reader can actually evaluate — which is more than can be said for an unlabelled 95%.
Where the arithmetic stops being exact, and where it does not
On this table the half-width comes out at 1/2 and the folklore half-width at 1/5: both rational, because σ² = 1 and 100 is a square. Switch the panel to the skewed table, whose variance is 367/256, and the half-width becomes (1/32)√367 ≈ 0.59866, printed as a surd and then as a rounded decimal. The guarantee 24/25, the width ratio 5/2 and the run cost 25/4 do not move, because none of them contains a root.
That is the shape of every honest report on this course: the quantities that carry the argument stay rational, and the one quantity that has to be a root is printed in exact form with its rounding named. A coverage count of 40 out of 40 is a count; 96% is 24/25; and 0.59866 is (1/32)√367 shown to five places and no more.