Contents / Probability / Continuous Random Variables
Chapter 3
Continuous Random Variables
PDFs, CDFs, normal, exponential, and uniform distributions.
Introduction
A discrete random variable is described by a list. You write down the values it can take, you write down the probability of each, and every question you might ask is answered by adding up some of those numbers. The whole apparatus is arithmetic on a table.
That description breaks the moment the variable is allowed to take any value in an interval. The time until a radioactive atom decays, the error in a voltage measurement, the height of a randomly chosen adult — none of these is confined to a countable list of outcomes. And once the list of outcomes is uncountable, no table can hold it, because there is no way to assign a positive probability to each of uncountably many values and have the total come to one.
The resolution is to stop asking what an individual value is worth and start asking what an interval is worth. Probability becomes a quantity spread along the line, like mass along a wire, and a probability is recovered by integrating that spread over a region. Sums become integrals; the probability mass function becomes a probability density function; and a single point, having zero length, carries zero probability.
This chapter builds that machinery and then stocks it. It defines densities and distribution functions and proves how they determine each other, computes expectation and variance as integrals, and derives from first principles the three distributions that carry most of the load in applied work: the uniform, the normal, and the exponential. Standardisation is proved rather than asserted; memorylessness is proved and tied back to the Poisson process; the chi-squared and distributions are constructed out of normals; and the chapter closes with the normal approximation to the binomial, the continuity correction that makes it accurate, and a statement of when it is legitimate to use.
3.1From mass to density
Begin with the obstruction, because it is what forces every definition that follows. Suppose is a random variable taking values in , and suppose every value is "equally likely" in whatever sense that phrase can be made to mean. What is ?
Whatever number it is, call it , and by the assumed symmetry every other value in has the same probability . If , pick an integer with and pick distinct values in . These are disjoint events, so their probabilities add, and the total is . That is impossible. Hence .
Theorem 3.1 (Point probabilities vanish). Let be a random variable whose distribution function is continuous at . Then
Proof. The events shrink to as , and they are nested decreasing, so by continuity of probability from above,
the last step because is continuous at .∎
So a continuous random variable assigns probability zero to every single value while assigning probability one to the whole line. There is no contradiction here — zero probability does not mean impossible, only that the outcome is negligible among the alternatives — but it does mean that a table of values and their probabilities carries no information at all. Something else has to do the describing.
Definition 3.2 (Probability density function). A probability density function for a random variable is a function satisfying
and such that for every ,
A random variable admitting such an is called continuous.
The two conditions are exactly the two axioms of probability in integral form: probabilities are non-negative, and the total is one. Everything else follows from them. Note that the definition is stated for a closed interval but that the choice of endpoints is immaterial, since by the theorem Point probabilities vanish each endpoint contributes nothing:
This is a genuine convenience and a genuine difference from the discrete case, where moving an endpoint in or out of an interval moves a whole atom of probability with it.
Pitfall (A density is not a probability). Three distinct errors live here, and they are the most common misconceptions in the subject.
One. is not . That probability is zero. The value is a rate: probability per unit length near . It answers "how thickly is probability packed here?", not "how likely is this?".
Two. A density may exceed . Nothing in the definition bounds above. The uniform density on equals everywhere on that interval, and , so the total area is still one. If you find yourself objecting that "a probability can't be ", you have confused the height with the area. A density on a narrow interval must be tall, for the same reason a fixed mass squeezed into a short wire must be dense.
Three. Probability is area, so it takes an interval to have any. Asking for when is continuous is not a hard question; it is a question whose answer is always . What is meant, almost always, is or some similar band, and the band has to be supplied before the question has content.
Intuition. Think of one kilogram of putty smeared along a wire. Ask "how much putty is at the point ? " and the answer is none: a point has no length, so it holds no mass. The useful question is how much putty lies between and , and to answer it you need to know the linear density — grams per centimetre — at each place, and integrate it along the stretch.
A probability density is that function, with probability in the role of mass. The height tells you how thickly probability is packed; the area over a stretch tells you how much of it there is.
The accumulated-probability view has its own function, and it is often the more computable of the two.
Definition 3.3 (Cumulative distribution function). The cumulative distribution function (cdf) of a random variable is
If has density , then .
Proposition 3.4 (Properties of a distribution function). Any cdf satisfies:
- is non-decreasing;
- and ;
- is right-continuous;
- for .
Proof. (1) If then , and probability is monotone under inclusion.
(4) The events and are disjoint with union , so .
(2) and (3) follow from continuity of probability along the monotone sequences of events , and respectively.∎
Property (4) is the workhorse. It says that once you know , every interval probability is a subtraction — no integral required at the point of use, because the integrating was done once and for all when was built. The relationship between the two functions runs in both directions.
Theorem 3.5 (Density and distribution determine each other). Let have density and distribution function . Then
and at every point where is continuous,
Proof. The first identity is the definition of together with the defining property of , taking .
For the second, fix at which is continuous and write . For ,
Given , continuity of at gives a with whenever . For the integrand lies within of throughout , so the average above lies within of . The same argument applies for , and hence . This is the Fundamental Theorem of Calculus in the form that makes the density the derivative of the accumulated probability.∎
Remark. The hypothesis "at every point where is continuous" is not decoration. The uniform density on jumps from to at the origin, and has a corner there: the one-sided derivatives are and and disagree. Densities are only determined up to their values at such exceptional points, which is why two densities differing at finitely many places describe the same distribution.
Example 3.6 (A normalising constant and a probability). Let for and otherwise. Find the constant that makes a density, find the distribution function, and compute .
Solution.
- Impose the total-area condition. A density must integrate to , and vanishes outside , so
- Check non-negativity: everywhere, so both conditions of the definition hold and on is a genuine density. Note — the density reaches the value and nothing is wrong.
- Build the cdf by integrating from the left. For , with for and for . As a check, , as the theorem Density and distribution determine each other requires.
- Read off the probability by subtraction:
- Sanity check: occupies one third of the domain's width, so a flat density would give it . The density grows towards , piling mass to the right of the interval, so a value below is exactly what is expected. ✓
3.2Expectation, variance and quantiles
For a discrete variable the expectation is : each value weighted by its probability. In the continuous case every value has probability zero, so that sum would be identically zero. The weights must instead be the infinitesimal probabilities , and the sum becomes an integral.
Definition 3.8 (Expectation and variance). Let have density . Its expectation is
provided . Its variance is
and its standard deviation is .
The absolute-convergence proviso matters. The Cauchy density is a perfectly good density — symmetric, bell-shaped, total area one — but diverges, so the Cauchy distribution has no expectation at all. It is not that its mean is infinite or that it is zero by symmetry; the defining integral simply fails to exist, and results that assume a mean exists do not apply to it. This will matter again when the Central Limit Theorem is invoked.
To compute the expectation of a function of there is no need to find the density of that function first.
Theorem 3.9 (Law of the unconscious statistician). If has density and is a function with , then
The name is a joke at the expense of anyone who writes this down without noticing it needs proof: the left-hand side is by definition , an integral against a different density entirely, and the claim is that the change of variables works out. We take it as given here and use it constantly.
Proposition 3.10 (Linearity and the scaling of variance). For constants and , and any with finite mean and variance,
Proof. For the mean, apply the law of the unconscious statistician with and split the integral:
using for the second term.
For the variance, the mean of is by the first part, so
The shift cancels inside the bracket, which is the formal statement that variance measures spread and spread does not care where the distribution sits.∎
Two consequences are worth stating separately. Variance scales by , never by , so the standard deviation scales by — doubling every value doubles the standard deviation and quadruples the variance. And adding a constant changes the mean but not the variance at all.
Proposition 3.11 (Computational formula for the variance).
Proof. Expand the square inside the defining integral and use linearity:
In practice this is almost always the easier route: is a routine integral, whereas requires expanding the square anyway. A corollary that gets used without comment: since always, for every random variable with two moments.
The other way of locating a distribution is by cutting it at a prescribed proportion.
Definition 3.12 (Quantile). For , the -th quantile of is the value with
whenever is continuous and strictly increasing on the relevant range. The quantile is the median; the -th quantile is also called the -th percentile.
Quantiles run the calculation backwards. A probability question supplies a value and asks for an area; a quantile question supplies an area and asks for the value that cuts it off. The critical values that drive confidence intervals and tests in the companion Statistics course are quantile questions throughout, which is why the inverse direction deserves its own name and its own table column.
Example 3.13 (Mean, variance and median of a cubic-tailed density). For the density on of the previous example, find , and the median.
Solution.
- The mean, by the definition:
- The second moment:
- The variance, by the computational formula:
- The median solves , so .
- Sanity check: the density is largest near , so the distribution is left-skewed and the median should sit above the mean. Indeed . ✓ And is a plausible spread for a distribution living on an interval of width . ✓
3.3The uniform distribution and the inverse-transform method
The simplest continuous distribution is the one with no preferences at all.
Definition 3.14 (Uniform distribution). is uniform on , written , if its density is constant on that interval:
The constant is forced: a constant on an interval of length integrates to , and that must equal . Every sub-interval of a given length inside carries the same probability, which is the precise content of "equally likely" for a continuous variable.
Proposition 3.15 (Uniform cdf, mean and variance). If then
Proof. For ,
which rises linearly from at to at . The mean is
For the variance, first the second moment,
using . Then by the computational formula,
The mean is the midpoint, as symmetry demands. The variance depends only on the width of the interval, not on where it sits — a restatement of the fact that shifting a distribution does not change its spread. The factor is not memorable but is worth one derivation: it gives a standard deviation of , a little under a third of the range.
The uniform distribution on has a further role: it is the raw material from which every other distribution can be manufactured.
Theorem 3.16 (Inverse transform). Let be a continuous, strictly increasing distribution function, and let . Then the random variable
has distribution function . Conversely, if has that distribution function, then .
Proof. For any , since is strictly increasing the events and are the same event. Hence
the last step because is uniform on and , so . That is the first claim.
For the converse, put and take . Then
which is the distribution function of .∎
Intuition. The cdf is a machine that stretches and squashes the line until the distribution is spread out evenly: wherever probability was dense, climbs steeply and pulls that region wide; where probability was thin, is flat and the region is compressed. What comes out the other side is uniform, because being uniform is what "evenly spread" means. Run the machine backwards — feed it uniform noise, apply — and it repacks that even spread into whatever shape describes.
This is how a computer draws a random exponential waiting time. It has one source of randomness, a uniform number generator, and every other distribution is that source pushed through the right inverse cdf.
Example 3.17 (Simulating an exponential from a uniform). The exponential distribution with rate has for . Derive the transformation that turns a draw into an exponential draw, and apply it to with .
Solution.
- Solve for : from we get , hence
- By the theorem Inverse transform, is when .
- With and : .
- Sanity check: is the first quartile of the uniform, so the output must be the first quartile of the exponential; the exponential median is , and sits below it as a first quartile should. ✓
Remark. Because is also , the simulation formula is usually written , which saves one subtraction. The two are different random variables but have the same distribution, and for generating samples that is all that is asked of them.
3.4The normal distribution
Definition 3.18 (Normal distribution). is normal with mean and variance , written , if its density is
The case , is the standard normal, whose density is written and whose distribution function is written :
Before anything else, the constant out front has to be justified, since the definition is only legitimate if the thing integrates to one.
Theorem 3.19 (The normal density is a density).
and consequently for the normal density with any and .
Proof. Let . The integrand has no elementary antiderivative, so evaluate instead, as a double integral over the plane:
Change to polar coordinates, , , with area element and :
The extra factor of from the Jacobian is what makes the radial integral elementary; this is the whole trick. Since we get .
For general , substitute , so and
The same substitution is the reason a single table suffices for every normal distribution, and it deserves to be stated as a theorem in its own right rather than used silently.
Theorem 3.20 (Standardisation). Let with , and set
Then . In particular and , and for any ,
Proof. Compute the distribution function of directly. For any ,
Substitute , so and the upper limit becomes :
So has exactly the standard normal distribution function, hence exactly the standard normal density.
For the moments, note that is an odd function and , so the mean exists and equals by symmetry. For the variance, since the mean is zero, and integrating by parts with , (so ):
The boundary term vanishes because decays faster than grows. Finally, the interval formula is property (4) of a distribution function applied to after dividing the inequality through by .∎
Corollary 3.21 (Mean and variance of a general normal). If then and .
Proof. Write with , which is the standardisation read backwards. By the proposition Linearity and the scaling of variance, and . The parameters were named correctly.∎
So the two parameters really are the mean and the variance, and standardising measures a value in units of standard deviations away from the mean. That number — the -score — is the only thing the normal table needs to know, and it is dimensionless: whether is in kilograms or in dollars, is a pure number.
Pitfall (Standardising with the variance instead of the standard deviation). The denominator in is , the standard deviation. Writing advertises the variance and the standard deviation , and dividing by instead of is the single most common slip in this computation. Read the notation carefully: lists the variance in the second slot, so and are the same distribution and both have .
Normal tables list left-tail values , usually only for . Everything else is recovered from two identities.
Proposition 3.22 (Symmetry identities for the standard normal). For every ,
Proof. The density is even, so . Substituting in the defining integral,
which is simultaneously the first and the second identity, since by the theorem Point probabilities vanish removing the endpoint. For the third,
Method 3.23 (Computing a normal probability from a table). To find for :
- Standardise both endpoints: and . Keep two decimal places, which is what tables are ruled for.
- Express the answer as a difference of left tails: . A one-sided upper tail is the case , ; a one-sided lower tail is , .
- Look up each . For a negative argument use from the proposition Symmetry identities for the standard normal.
- Subtract, and sanity-check the result against the empirical rule: anything inside should come to roughly , inside roughly .
To go the other way — from a probability to a value — find with and untransform: .
Proposition 3.24 (The empirical rule). For ,
each to four decimal places.
Proof. By the theorem Standardisation the event is the event , whose probability is by the proposition Symmetry identities for the standard normal. Substituting the tabulated values , , gives , and . Note that these numbers are properties of the standard normal alone; and have disappeared, which is exactly why the rule is quotable without reference to a particular problem.∎
Intuition. The bell curve is the shape that appears whenever many small, independent contributions are added together. Heights, measurement errors, total scores on a long test: each is a sum of many little pushes, none of them dominant, and the sum piles up near the average with thinning tails on both sides.
The empirical rule is the practical version of that picture. Two standard deviations either side of the mean is the everyday range of a normal quantity; three standard deviations out, you are seeing something that happens about once in observations. That is why "a three-sigma event" is shorthand for a surprise.
Normal variables are also closed under addition, which is a stronger statement than it looks — most distributions are not.
Theorem 3.26 (Linear combinations of independent normals). If and are independent, and are constants, then
Proof. The moment generating function of is . For independent variables the mgf of a sum is the product of the mgfs, and , so
which is the mgf of . Since the mgf determines the distribution when it exists in a neighbourhood of , the claim follows.∎
The hypothesis of independence is doing real work in the variance, not in the mean: means add regardless, but variances add only when the variables are uncorrelated. And note the minus case: has variance , a sum, not a difference. Subtracting two noisy quantities makes the result noisier, never quieter.
Corollary 3.27 (Sums and averages of an independent sample). If are independent , then
Proof. Induction on the theorem Linear combinations of independent normals with gives the sum. The average is times the sum, so by the proposition Linearity and the scaling of variance its mean is and its variance is .∎
The standard deviation of the average is therefore , not : quadrupling the sample size halves the spread of the sample mean. That is the reason large studies are expensive.
Example 3.28 (An interval probability by standardising). Exam scores are . Find and .
Solution.
- Standardise the endpoints: and .
- Write the interval as a difference of left tails: .
- Look up ; for the negative argument, .
- Subtract: . About of scores fall in this range.
- The upper tail is the complement of the left tail at the same : .
- Sanity check: the interval runs from to , so it should hold more than the central band () and less than the band (). It does. ✓
Example 3.30 (Percentiles and a total). IQ scores are . (a) What score marks the th percentile? (b) Four people are chosen independently; what is the distribution of their total, and what is the probability that total exceeds ?
Solution.
- (a) This is the inverse problem: find with . The table gives . Untransform: .
- (b) By the corollary Sums and averages of an independent sample, , so .
- Standardise: , and .
- Sanity check (a): the th percentile must lie above the mean, and is just under above it, matching the -within- rule with left in each tail. ✓ Sanity check (b): the total's standard deviation is , not , because standard deviations grow like . ✓
3.5The exponential distribution and the Poisson process
Definition 3.31 (Exponential distribution). is exponential with rate , written , if
Proposition 3.32 (Exponential cdf, survival function, mean and variance). For and ,
Proof. The density integrates to , which also confirms the total area is by letting . The survival function is the complement, .
For the mean, integrate by parts with , :
For the second moment, integrate by parts again with :
Hence by the computational formula. The median solves , so and .∎
Three things to notice. The mean is and not : if events arrive at rate per hour, the average wait is of an hour. The standard deviation equals the mean, so the exponential is a distribution of fixed relative spread. And the median is strictly less than the mean, the signature of a right-skewed distribution: most waits are short, but the long ones are long enough to drag the average up.
The exponential's defining structural property is that it forgets.
Theorem 3.33 (Memorylessness). If then for all ,
Conversely, if a random variable with satisfies this identity for all and has a continuous survival function, then is exponential for some rate .
Proof. For the forward direction, use the definition of conditional probability. Since , the event is contained in , so their intersection is and
For the converse, write . The identity says for all . A continuous function satisfying this multiplicative Cauchy equation with and must be for some : iterating gives for all positive rationals , and continuity extends this to , which is with . The hypothesis rules out giving a degenerate variable.∎
Intuition. A light bulb whose lifetime is exponential does not age. Given that it has already burned for hours, the distribution of its remaining life is exactly what it was when it was new. The bulb has no memory of the hours it has served, and no wear accumulates.
This is realistic for failures caused by random external shocks — a power surge, a cosmic ray — and unrealistic for anything that wears out. Human lifetimes are emphatically not memoryless, which is why survival analysis needs distributions with an increasing hazard rate. When you assume an exponential, you are assuming that the thing you are waiting for is no closer now than when you started waiting.
Pitfall (Rate and mean are reciprocals). " per hour" and "a mean wait of hours" are contradictory statements: the first means a mean wait of hours. Whenever a problem hands you an average waiting time, the rate is its reciprocal before anything else happens. Substituting an average time where the formulas want a rate produces answers that are wrong by a factor of the mean squared, and they look plausible, which is the dangerous part.
The exponential is not an arbitrary choice of decaying curve — it is forced by the Poisson process, which is the standard model of events happening at random at a constant rate.
Theorem 3.34 (Poisson counts and exponential gaps). Suppose events occur so that the number of events in an interval of length is Poisson with mean , and counts over disjoint intervals are independent. Then the waiting time until the first event is .
Proof. The event — no event has occurred by time — is exactly the event . The Poisson probability of zero events when the mean is is
So , which is the exponential survival function; hence and . By the independence of disjoint intervals the same argument applies from any starting point, so every inter-arrival gap is and the gaps are independent.∎
The two descriptions are two views of one model: count the events in a fixed window and you get a Poisson; measure the gaps between them and you get exponentials. The rate is the same number in both, which is why it is worth insisting that is a rate — events per unit time — rather than a time.
Example 3.35 (Waiting for a call). Calls arrive at a switchboard as a Poisson process at rate per minute. (a) Find the probability of waiting more than minute for the next call. (b) Find the median wait. (c) Given that no call has arrived in the first seconds, find the probability of waiting more than minute in total.
Solution.
- (a) By the proposition Exponential cdf, survival function, mean and variance, .
- (b) The median is minutes, about seconds.
- (c) The question asks for . By the theorem Memorylessness with and , this equals .
- Sanity check: the mean wait is minutes, and the median falls below it as a right-skewed distribution requires. ✓ In (c), the conditional answer is larger than the unconditional , which it must be — half a minute of waiting has already been survived. ✓
3.6Distributions built from normals
Two further distributions appear constantly in inference, and both are manufactured out of standard normals rather than postulated. Their definitions are worth seeing as constructions, because that is what explains their degrees-of-freedom parameters.
Definition 3.36 (Chi-squared distribution). If are independent standard normals, the distribution of
is the chi-squared distribution with degrees of freedom, written .
Proposition 3.37 (Mean and variance of a chi-squared). If then and .
Proof. For a single standard normal, by the theorem Standardisation. For the fourth moment, integrate by parts with , :
Hence . Because the are independent, their squares are independent too, so both expectations and variances add over the terms: and .∎
The additivity of the variance is exactly where independence is used; without it the mean would still be but the variance could be anything. Note also that by construction, so the chi-squared lives on and is right-skewed, with the skew fading as grows and the sum starts to behave like a sum of many independent terms.
Proposition 3.38 (The square of a standard normal). If then , and its density is
Proof. The first claim is the definition with . For the density, compute the cdf of for :
using the symmetry identities. Differentiate with respect to , using and the chain rule with :
Observe that this density is unbounded as — another reminder that a density is under no obligation to stay below , or indeed to stay finite.∎
Definition 3.39 (Student's t-distribution). If and are independent, the distribution of
is the -distribution with degrees of freedom.
Intuition. A variable is a standard normal that has been forced to divide by an estimate of its own spread instead of the true one. When that estimate happens to come out small, the ratio is inflated; the estimate wobbles, and the wobble adds spread on top of the numerator's own.
That is why the curve is shorter in the middle and fatter in the tails than the normal, and why using a normal critical value with a small sample produces confidence intervals that are too narrow. As grows the denominator concentrates at — by the law of large numbers — and the curve converges to . By the difference is already slight; by it is negligible for most purposes.
The -distribution is symmetric about and bell-shaped, but it has a mean only for and a variance only for , where . That fraction exceeds for every finite and decreases to , which is the precise sense in which the is more spread out than the normal. For the -distribution is the Cauchy distribution, with no mean at all.
3.7The normal approximation to the binomial
A binomial probability is exactly computable — it is a finite sum of terms — but for large that sum has many terms and the binomial coefficients are enormous. Long before computers this made approximation essential, and the approximation is still the right way to think about large- binomials even when a machine does the arithmetic.
The justification is the Central Limit Theorem. A binomial variable is a sum of independent Bernoulli indicators,
so has mean and variance , and it is a sum of many independent, identically distributed terms with finite variance — precisely the situation the CLT addresses.
Theorem 3.40 (Normal approximation to the binomial). Let with . Then as ,
so that for large .
Proof. This is the De Moivre–Laplace theorem, the special case of the Central Limit Theorem for Bernoulli summands. Sketch, via moment generating functions. Write and let . Each centred, scaled indicator has mean and variance , and
by expanding the mgf and using , . By independence the mgf of the sum is the product of such factors, so
which is the mgf of . Convergence of mgfs in a neighbourhood of implies convergence in distribution, and because the limiting cdf is continuous the convergence of is uniform in . That last point is what licenses using the approximation at a particular rather than only in the limit.∎
The theorem is an asymptotic statement, so on its own it says nothing about any fixed . The working rule that fills the gap is the following.
Proposition 3.41 (When the approximation is legitimate). The normal approximation to is accurate enough for ordinary use when
The reasoning behind the rule is worth spelling out, because it is not arbitrary. The binomial lives on while the normal lives on all of , so the approximation must be putting probability where the binomial cannot go. That error is negligible only when the bulk of the normal curve stays inside — that is, when the mean is at least a few standard deviations from each boundary. The distance from to the mean in standard deviations is
and requiring keeps this at roughly or more; the mirror-image requirement does the same at the upper end. The same condition controls the skewness of the binomial, which is and must be small for a symmetric curve to fit. When is extreme and stays small even for large , the binomial is not close to normal at all — it is close to Poisson, and that is the approximation to use instead.
Pitfall (Applying the rule to the wrong tail). Both conditions must hold. With and we have , comfortably large, but , and the approximation fails: the true distribution is bunched against zero and visibly skewed. Checking only the condition that passes is how a bad approximation gets shipped.
The remaining refinement repairs the mismatch between a staircase and a smooth curve.
Definition 3.42 (Continuity correction). When approximating a discrete integer-valued by a continuous , replace each integer boundary by the halfway point beyond it:
Intuition. Draw the binomial as a histogram of bars of width , the bar for spanning . Its area is , and the total area is — the same convention a density obeys. The normal curve is then fitted through the tops of those bars.
Now is the area of the bars up to and including the one at , and that block of bars ends at , not at . Cutting the normal curve at slices the last bar in half and throws away the part you were asked for. The is not a fudge factor; it is where the bar actually ends.
Method 3.44 (Normal approximation with continuity correction). To approximate a binomial probability:
- Compute and and check both are at least . If not, stop and use the exact binomial or a Poisson approximation.
- Set and .
- Rewrite the event in terms of integer boundaries, then shift each boundary by outwards from the region you are keeping: a becomes , a becomes , and a strict becomes .
- Standardise the shifted boundaries and evaluate with .
- Check the answer against intuition: a boundary above the mean must give a cumulative probability above .
Example 3.45 (Exact against approximate). Let . Approximate with and without the continuity correction, and compare with the exact value .
Solution.
- Check validity: and . The rule is satisfied, though only just.
- Match the normal: , , .
- With the correction, the block of bars up to ends at :
- Without the correction, cutting at gives and .
- Compare: the corrected value is within of the exact ; the uncorrected value is off by . The correction reduces the error by a factor of about .
- Sanity check: lies above the mean , so the cumulative probability must exceed ; both approximations do, but only one is usable. ✓
Example 3.46 (A large-sample approximation). A fair coin is tossed times. Approximate the probability of at most heads.
Solution.
- Here , with . ✓
- and .
- Apply the correction: where .
- Standardise: , so the answer is .
- Sanity check: the exact binomial value is , so the approximation is off by less than — better than in the previous example, as expected, since is five times larger here. ✓
Summary. The load-bearing results of this chapter, with the hypotheses they need.
- Point probabilities vanish. If is continuous at then , so endpoints may be moved in or out of an interval freely. Fails for discrete variables and at jumps of .
- Density and distribution. , and at points where is continuous. A density is non-negative with total integral ; it is not a probability and may exceed or be unbounded.
- Moments as integrals. and , each requiring the corresponding integral to converge absolutely — the Cauchy distribution has neither. and for any with the moments in question.
- Uniform. has , mean , variance .
- Inverse transform. If is continuous and strictly increasing and , then has distribution function , and . Strict monotonicity is what makes well defined.
- Standardisation. For with , is exactly ; no approximation and no large sample is involved. Hence , , and .
- Symmetry. and , giving the empirical rule at one, two and three standard deviations.
- Sums of normals. requires independence — for the variance, not the mean. Consequently for an independent normal sample, so the spread of an average falls like .
- Exponential. , mean , variance , median . Memorylessness, , characterises the exponential among continuous distributions, and the exponential is exactly the inter-arrival law of a Poisson process of rate .
- Derived distributions. A sum of independent squared standard normals is , with mean and variance ; with and independent is , symmetric, heavier-tailed than the normal, with variance for .
- Normal approximation to the binomial. when and , with the continuity correction shifting every integer boundary by outwards. When stays small, use the Poisson approximation instead.
- **Asking for when is continuous.** The answer is always . What is wanted is an interval, and the interval has to be supplied before the question has content.
- Reading the density height as a probability. is probability per unit length; it can exceed (the density equals ) and can be unbounded (the density blows up at the origin). Only areas are probabilities.
- Dividing by the variance when standardising. uses the standard deviation. In the second parameter is the variance and .
- Forgetting that the table gives left tails. For an upper tail use ; for a negative argument use ; for an interval subtract the two left tails.
- Confusing the exponential rate with the mean. The mean is . A rate of per hour is a mean wait of minutes, not hours.
- Adding standard deviations instead of variances. For independent variables, *variances* add. The standard deviation of a sum of independent copies is , not — and the difference has variance , not the difference of variances.
- Dropping the continuity correction. For it is the difference between and against an exact . The smaller is, the more it matters.
- Checking only one half of the validity condition. Both and are required; with , the second holds and the first does not, and the approximation is useless.