Introduction to Probability and Statistics

9.1 Some preliminary set theory

Probability is built on sets, so before any probability appears we need to be fluent with the language of sets. Most of this will be revision, but the notation matters enormously later — almost every probability rule in this chapter is really a set identity in disguise.

Note

Definition
A set is a collection of objects, called its elements. We write to mean is an element of , and otherwise. The set with no elements is the empty set, written .

Example. The set has elements , and ; so but .

Note

Definition
is a subset of , written , if every element of is also an element of . The power set is the set of all subsets of .

Example. The set has eight subsets; for instance . In general a set with elements has subsets, since each element is independently either in or out — this doubling is worth remembering, as it reappears when we count outcomes.

In any given problem there is a fixed set containing everything under discussion, called the universal set . For three-dimensional vector geometry it is usually ; in probability it will be the set of all possible outcomes.

Note

Definition
For subsets , define

The sets and are disjoint (or mutually exclusive) if .

Example. Let be all students enrolled in MATH1231, let be those aged 20 or over, and let be those who own a bicycle. Then is the students aged 20 or over who own a bicycle; is those who are aged 20 or over, own a bicycle, or both; is those under 20; and is those aged 20 or over who do not own a bicycle. Note that "or" in mathematics is always inclusive — includes the students who satisfy both conditions. English "or" is frequently exclusive, and that mismatch causes real errors when translating word problems.

Note

Definition
Sets partition a set if they are pairwise disjoint and their union is ; that is, whenever , and .

Example. The sets , and partition .

Basically, a partition chops a set into non-overlapping pieces that between them use up everything. This is the single most important idea in the chapter: every major probability rule — the addition rule, the law of total probability, Bayes' theorem — works by partitioning a set and adding up the pieces, which is only legitimate because the pieces do not overlap.

Two identities get used constantly and are worth proving once.

Note

Theorem (De Morgan's laws)
For all ,

Proof. We prove the first; the second is identical with the roles of and swapped. For any ,

Since the two sets have exactly the same elements, they are equal.

Basically, De Morgan says that negating an "or" gives an "and", and vice versa. In probability language: "neither nor happened" is the same event as "not and not ", and "not both" is the same as "at least one failed". Getting this backwards is a very common source of wrong answers in "at least one" problems.

Note

Definition
If is a finite set, denotes the number of elements in .

Note

Theorem (inclusion–exclusion for two sets)
For finite sets and , .

Proof. Adding and counts every element of exactly twice — once as a member of and once as a member of — while every other element of is counted once. Subtracting removes the double count.

Example. Of music students, play guitar, play piano, and play both. How many play at least one of the two, and how many play neither?
Let and be the sets of guitarists and pianists, so , and . Then

and by De Morgan the students who play neither form , of size . Therefore students play at least one instrument and play neither. Notice that ; forgetting to subtract the overlap is the classic error, and it is exactly the error the addition rule for probabilities is designed to prevent.

9.2 Probability

9.2.1 Sample space and probability axioms

An experiment is any procedure with an uncertain outcome.

Note

Definition
The sample space of an experiment is the set of all its possible outcomes. An event is any subset .

Example. Tossing a coin is an experiment with sample space .

Example. Tossing a coin three times and recording the ordered sequence has sample space

with . The event that exactly two heads are tossed is the subset

The choice of sample space is part of modelling, not something handed to you. If we only cared about the number of heads we could have taken — but then the outcomes would not be equally likely, which usually makes life harder. Choose a sample space in which the outcomes are equally likely whenever you can.

Note

Definition
A probability on a sample space is a function assigning a real number to each event, such that

Basically, probability is a way of measuring how big an event is compared with the whole sample space: never negative, the whole space has measure , and non-overlapping pieces add. Condition (d) requires disjointness and is worthless without it — this is where almost every incorrect probability calculation goes wrong.

Note

Theorem
Let be a probability on a sample space and an event.
1. If is finite or countable, then .
2. If is finite and is the same for every outcome , then .
3. If is finite or countable, then .

Proof. Statement 1 follows for finite by induction on using axiom (d), since the singletons for are pairwise disjoint and partition . Statement 3 is statement 1 applied to , together with . For statement 2, suppose for every . By statement 3,

so . Then by statement 1,

Statement 2 is the formula you have used since school — probability equals favourable outcomes over total outcomes. But it is only valid when the outcomes are equally likely, and it is a theorem, not a definition. Applying it to a sample space with unequally likely outcomes is a serious error.

Example. Pick a ball at random from a bag containing red and blue balls. Taking to be the ten individual balls, each equally likely, the event that the ball is red has , so

Therefore the probability of drawing red is . Notice that had we taken we could not have used the formula, since those two outcomes are not equally likely.

9.2.2 Rules for probabilities

Note

Theorem
Let and be events of a sample space .
1. (the addition rule).
2. (the complement rule).
3. If then .

Proof.

  1. The sets , and partition , so by axiom (d),

Also and partition , giving , and similarly . Substituting,

  1. The sets and partition , so .
  2. If then and partition , so by axiom (a).

Notice that this is exactly the inclusion–exclusion principle with replaced by , and for the same reason: the overlap gets counted twice and must be removed once.

The complement rule is the most useful computational tool in the whole chapter. Whenever a question asks for the probability of "at least one" of something, computing and subtracting from is almost always dramatically easier, because "none" is a single intersection while "at least one" is a messy union.

Example. What is the probability that at least two of people share a birthday?
Ignoring leap years, let be the days of the year. The sample space of all possible birthday lists is

with all outcomes equally likely. Let be the event that at least two people share a birthday. Computing directly would require a horrible union over all pairs, so use the complement: is the event that all birthdays are distinct, and such a list is an ordered selection of different days,

Therefore

Evaluating this gives famously counter-intuitive numbers:

So with just people the odds are already better than even. Therefore the answer is . The intuition that misleads people here is comparing themselves to everyone else ( comparisons) rather than counting all pairs, which for is pairs — plenty of chances for a match.

Example. In a town, of the population has comprehensive car insurance, has house insurance, and has both. What proportion has at least one, and what proportion has neither?
Let and be the events of having car and house cover, so , and . By the addition rule,

and by De Morgan together with the complement rule,

Therefore have at least one policy and have neither.

9.2.3 Conditional probabilities

Often we learn something partway through, and want to update a probability in the light of it. If we know that has occurred, then effectively becomes the new sample space, and we should measure only by the part of it lying inside .

Note

Definition
For events and with , the conditional probability of given is

Basically, we restrict attention to and rescale so that has total probability ; dividing by is exactly that rescaling. The condition is not a technicality — conditioning on an impossible event is meaningless.

Rearranging gives the form used most often in practice:

Example. We roll a die. Let be the event of rolling a six and the event of rolling an even number. Find and .
Here and , so , and

Therefore and . Note how different the two are: in general, and confusing the two is so common in law and medicine that it has a name — the prosecutor's fallacy. Knowing the roll is even makes a six more likely than before; knowing it is a six makes it certainly even.

Example. A bag contains red and blue balls. Two balls are drawn without replacement. Find the probability that both are red.
Let and be the events that the first and second balls are red. Before any draw, . Given the first ball was red, only balls remain of which are red, so . Therefore

Drawing without replacement is what makes the draws dependent; with replacement, would still be and the answer would be . Always check which of the two a question intends.

Conditioning becomes really powerful when combined with a partition.

Note

Theorem (the law of total probability)
Suppose the events partition the sample space , each with . Then for any event ,

Proof. Since the partition , the sets are pairwise disjoint and their union is . By axiom (d) applied repeatedly and then the definition of conditional probability,

Basically, to find the probability of , split the world into cases, work out the chance of in each case, and average those weighted by how likely each case is. This is exactly what a tree diagram does: each path through the tree is one term of the sum, and the probability of a path is the product of the probabilities along its edges.

Note

Theorem (Bayes' theorem)
Suppose partition with each , and is an event with . Then

Proof. By the definition of conditional probability twice over,

and expanding the denominator by the law of total probability gives the result.

Basically, Bayes' theorem reverses a conditional probability: it converts "the chance of the evidence given the cause" into "the chance of the cause given the evidence", which is almost always the direction you actually want. The following example is the standard illustration of how badly intuition fails here, and it is worth studying carefully.

Example. A diagnostic test for disease correctly indicates the disease of the time in people who have it, and correctly returns negative of the time in people who do not. Suppose of the population has the disease. Find the probability that a person who tests positive does not have the disease.
Let be the event of having the disease and the event of testing positive, with . We are given

The events and partition , so by Bayes' theorem,

Therefore almost half of all positive results are false, despite the test being accurate. The reason is that the disease is rare: out of people, about have it and of those test positive, while of the healthy people — that is, people — also test positive. The two groups are almost the same size, so a positive result is nearly a coin flip.

By contrast, a negative result is extremely informative:

So someone testing negative almost certainly does not have the disease. The lesson is that the accuracy of a test tells you very little on its own; the base rate matters just as much, and ignoring it is called the base rate fallacy. In practice this is why a cheap screening test is followed up by a more expensive confirmatory one.

Example. Modify the previous example by supposing a fraction of the population has disease , and that of a large random sample tests positive. What percentage of the population has the disease?
By the law of total probability,

Solving, , so

Therefore about of the population has the disease. Notice that the observed positive rate of substantially overstates the true prevalence of , again because of false positives among the large healthy majority.

9.2.4 Statistical independence

Sometimes learning that occurred tells us nothing at all about . That deserves a definition.

Note

Definition
Events and are (statistically) independent if

When this is equivalent to , which is the more intuitive form: conditioning on leaves the probability of unchanged. The product form is preferred as the definition because it is symmetric in and and does not require .

Independent and mutually exclusive are completely different things, and confusing them is the most common conceptual error in this chapter. In fact they are almost opposites: if and are mutually exclusive with , then but , so they are necessarily dependent. Intuitively, if and cannot both happen, then learning occurred tells you a great deal about — namely that it did not occur.

Example. Roll a die; let be rolling a six and rolling an even number. Are and independent?
Here , and . But

so they are not independent. This matches the earlier calculation that .

Example. Roll a die twice. For each , let be the event that the first roll gives and that the second roll gives . Then , and since each of the ordered pairs is equally likely,

so and are independent for all and — as they should be, since the die has no memory.

For more than two events, independence has to be required for every sub-collection, not just for pairs.

Note

Definition
Events are mutually independent if for every sub-collection ,

So , , are mutually independent exactly when all four of these hold:

Pairwise independence does not imply mutual independence. The standard counterexample: draw a ball at random from a bag of four balls marked , and let , , be the events that the ball is or , that it is or , and that it is or . Each has probability , and each pairwise intersection is with probability , so the events are pairwise independent. But also has probability , whereas . So the three are pairwise but not mutually independent.

Note

Theorem
If are mutually independent and each is either or , then are mutually independent.

Basically, independence survives complementing — if tells you nothing about , then tells you nothing about "not " either. This is what lets us compute "at least one" probabilities by complementing each event separately.

Example. (Reliability.) A system has three components that fail independently, with failure probabilities , and . Find the probability the system works, if it needs (a) all three components working, and (b) at least one component working.
Let be the failure events, so the working events have probabilities , and and are mutually independent by the theorem above.

(a) All three working:

(b) At least one working is the complement of all three failing, so

Therefore the series system works with probability and the parallel system with probability . Notice how much redundancy buys you — and notice that (b) was computed via the complement, because "at least one" as a union would have needed the full three-set inclusion–exclusion formula.

9.3 Random variables

Describing events as subsets of gets clumsy fast, and it gives us nothing to do arithmetic with. The fix is to attach a number to each outcome.

Note

Definition
A random variable is a real-valued function defined on a sample space.

A random variable is neither random nor a variable; it is a function. The name is entirely historical and actively misleading, so it is worth fixing the correct picture early: takes an outcome and returns a number . The randomness lives in which occurs, not in .

Example. Toss a coin, with . Define and . Then counts the heads.

Example. Toss a coin three times and let count the number of heads. Then , , and so on. The event "exactly two heads" is now written compactly as , meaning , and

This notation is the whole point: , and are all just events, described far more conveniently than by listing outcomes.

9.3.1 Discrete random variables

Note

Definition
A random variable is discrete if it takes only countably many values. Its probability distribution is the list of values it takes together with the probabilities

By the summation theorem, the are non-negative and sum to ; these two conditions characterise a valid probability distribution, and checking that your probabilities sum to is the cheapest error check available.

Example. Toss a coin three times and let count the heads. Since all eight outcomes are equally likely and the numbers of outcomes giving heads are :

and indeed .

Example. Roll a die twice and let be the sum of the two rolls. The sample space has equally likely ordered pairs, and counting those summing to each value:

The numerators sum to , as they must. Therefore is the most likely total, with probability .

Note

Definition
The cumulative distribution function of a random variable is .

9.3.2 The mean and variance of a discrete random variable

Random variables let us do arithmetic on outcomes. The two numbers we care about most are the weighted average of the values, and a measure of how spread out they are.

Note

Definition
The expected value (or mean) of a discrete random variable with distribution is

often written or .

Basically, is the long-run average value of if the experiment were repeated many times, with each possible value weighted by how often it occurs. The expected value need not be a value can actually take — the expected number of heads in three tosses is , which is impossible on any single trial.

Example. Toss a coin three times and let count the heads. Using the table above,

Therefore , which is exactly what symmetry suggests: half of three tosses.

Note

Theorem
Let be a discrete random variable with . Then for any real function , the expected value of is

This is more useful than it looks: it says you can compute without first finding the distribution of , which would usually be a nuisance. In particular .

A warning that is worth a lot of marks: in general . For instance with the coin example, while . The two are only equal when is linear.

Note

Definition
The variance of a discrete random variable with mean is

and the standard deviation is , often written .

Basically, the variance is the average squared distance from the mean; squaring stops positive and negative deviations from cancelling. The standard deviation then undoes the squaring so that the answer is back in the original units, which is why it is the more interpretable of the two.

Note

Theorem
.

Proof. Write . Expanding the square,

This is the formula to use for hand calculation, since it needs only two sums rather than a subtraction inside every term. As a free sanity check, always; if your computation gives a negative variance you have made an arithmetic error, most often by squaring the mean before rather than after averaging.

Example. Toss a coin three times and let count the heads. We found and , so

Therefore and .

Example. A random variable has the distribution

Find its mean, variance and standard deviation.
First check the probabilities sum to . Then

so

and . Therefore the values of sit on average about away from the mean of . (The printed course notes give the variance here as ; that is a typo — , and their own conclusion that the standard deviation is roughly matches the corrected figure.)

Note

Theorem
If and are constants, then

Proof. For the mean,

For the variance, using the mean result,

and the third statement follows by taking square roots.

Notice that disappears from the variance entirely. Shifting every value by a constant moves the mean but does not change the spread, which is exactly what a measure of dispersion ought to do. The rather than is because variance is measured in squared units.

9.4 Special distributions

A handful of distributions turn up so often that they are worth studying once and for all. Both in this section arise from the same setup.

Note

Definition
A Bernoulli process is a sequence of trials such that

  • each trial has exactly two outcomes, "success" and "failure";
  • the probability of success is the same on every trial; and
  • the trials are mutually independent.

We write for the failure probability.

All three conditions matter, and questions are frequently designed so that one of them fails. Drawing balls without replacement, for instance, is not a Bernoulli process, because changes from trial to trial and the draws are not independent.

9.4.1 The binomial distribution

Note

Theorem
If counts the successes in a Bernoulli process of trials with success probability , then

We write and call this the binomial distribution.

Proof. Any particular sequence of trials containing exactly successes and failures has probability , since the trials are independent and so the probabilities multiply. The number of such sequences is the number of ways to choose which of the trials are the successes, namely . Summing over these disjoint outcomes gives the result.

Basically, the is the probability of one particular pattern and the counts how many patterns there are. The binomial coefficient is exactly what students leave out — if the question asks for a specific order ("heads then tails then heads") there is no coefficient, but if it asks for a count ("two heads in three tosses") there is.

As a check that this is a distribution at all, the binomial theorem gives

which is also where the name comes from.

Example. Roll a die times and let be the number of sixes. The rolls are identical and independent with , so and

Therefore about a chance of exactly two sixes.

Example. Ask people whether today is their birthday, and let count the yes answers. Ignoring leap years and twins, , and the probability that nobody says yes is

Therefore there is about a chance that at least one person has a birthday today. Compare this with the birthday problem of Section 9.2.2, which asked a completely different question — there we compared people with each other (many pairs), here we compare each person against one fixed day. The two are constantly confused.

Note

Theorem
If , then and .

Basically, each trial contributes on average successes and variance , and with independent trials these simply add. The mean is exactly the intuitive answer: rolling a die times, you expect sixes.

Example. Toss a coin times and let count the heads. Then , so

which agrees exactly with the values we computed by hand from the distribution table earlier — a satisfying check on both.

Example. Roll a die times. Then sixes, with and . So two sixes is typical, and anything from about to would be unremarkable.

9.4.2 Geometric distribution

Instead of fixing the number of trials and counting successes, we can fix the number of successes at one and count the trials.

Note

Theorem
Consider an infinite Bernoulli process with success probability . If is the number of trials until the first success, then

We write and call this the geometric distribution.

Proof. The event consists of exactly one outcome: the first trials all fail and the ​th succeeds. By independence its probability is .

Note that in principle a success might never occur, but that event has probability when , so we discard it. As a check the probabilities sum correctly, using the geometric series from Section 4.4:

Be careful about the convention. Here counts all trials including the successful one, so . Some texts instead count only the failures before the success, giving for and a mean one smaller. Always check which convention a question uses; this off-by-one is the standard trap.

Example. Toss a coin until a head appears and let count the tosses. Then , and the probability of needing exactly seven tosses is

Note

Theorem
If and is a positive integer, then . Consequently the cumulative distribution function is .

Proof. The event says the first trials all failed, which by independence has probability . The rest follows by complementing.

That is a genuinely useful shortcut — the tail probability requires no summation at all, so questions about "how many trials might it take" should always be attacked through rather than by summing the distribution.

Example. Roll a die until a six appears, and let count the rolls. Then , and

Therefore you have roughly an even chance of rolling a six within four attempts, and a better-than-a-quarter chance of still waiting after seven.

Note

Theorem
If , then and .

Proof (of the mean). Using term-by-term differentiation of power series,

valid for . Hence

This is a nice illustration of Chapter 4 doing real work in a statistics problem.

The mean is extremely intuitive: if a success happens one time in , you expect to wait trials for it.

Example. Toss a coin until a head appears: , so tosses on average. Roll a die until a six appears: , so rolls on average, with and . Note how enormous that standard deviation is relative to the mean — waiting times are highly variable, which is why "it took me 20 rolls" is not really surprising.

9.4.3 Sign tests

We finish the discrete material with a first taste of statistical inference. Suppose we have independent observations of some quantity and want to know whether they differ systematically from a fixed reference value. A sign test answers this using nothing but the binomial distribution:

  • Count the observations strictly greater than the target value ("+").
  • Count the total that are strictly greater or strictly smaller (discarding exact ties).
  • Compute the probability of seeing at least as many "+" as observed, assuming "+" and "−" were equally likely. This is the tail probability.

The logic is a proof by contradiction in probabilistic clothing. We assume there is no real effect (so ), compute how surprising our data would be under that assumption, and reject the assumption if the data are too surprising. In this course we call a tail probability below significant.

Example. A new variety of corn yields, in bushels per acre, on plots:

The variety currently in use yields bushels per acre. Is the new variety better?
Counting, the yield exceeds on plots and falls below on ; there are no ties, so all observations count. Under the assumption that the new variety is no better, a plot is equally likely to exceed or fall short of , so the number of "+" plots satisfies . The tail probability is

Since , it is quite unlikely we would have seen of plots above the old yield if the new variety were no better. Therefore we conclude the new variety has improved yield.

Two warnings about what this does and does not show. First, the test uses only the signs, throwing away the magnitudes — which makes it robust but not very powerful. Second, a tail probability of is not "the probability that the new variety is no better"; it is the probability of data this extreme given that it is no better. Reversing those two is exactly the conditional-probability error from Section 9.2.3.

9.5 Continuous random variables

So far our random variables have taken countably many values. But many quantities — a time, a height, a wage — vary continuously, and for these the whole framework needs adjusting.

The essential difficulty: if is the exact time of day, uniformly distributed over hours, what is ? There are uncountably many instants, all equally likely, so any positive probability would sum to infinity. The only consistent answer is .

Note

Definition
A random variable is continuous with probability density function if

for all , where satisfies for all and .

The density is NOT a probability, and it may exceed . Probability is area under the density, not the height of it. This is the single biggest conceptual jump in the chapter, and the two defining conditions are the exact analogues of "probabilities are non-negative" and "probabilities sum to ".

An immediate consequence is that

for every single value . So for a continuous random variable, , and endpoints never matter — which is a relief, because it means you never have to fret about versus . For a discrete variable that distinction is critical, so keep track of which kind you are dealing with.

Note

Definition
The cumulative distribution function of a continuous random variable is .

Note

Theorem
wherever is continuous, and .

Proof. The first is the fundamental theorem of calculus applied to ; the second is additivity of the integral.

Example. At a random point during the day we note the time, ignoring the date. Model this by uniformly distributed on , so the density is constant: on and elsewhere. Find , the cdf, and the probability the time is between 9am and 5pm.
The density must integrate to :

The cdf is for (and below, above). Hence

Therefore the probability is — as it must be, since that window is of the hours.

Example. A continuous random variable has density on and elsewhere. Find and .
Normalising,

Then

Therefore and the probability is . Finding the normalising constant first is always step one; a density that does not integrate to is not a density.

9.5.1 The mean and variance of a continuous random variable

Every formula from the discrete case carries over with sums replaced by integrals and replaced by .

Note

Definition
For a continuous random variable with density ,

Note

Theorem
If is continuous with density and is a real function, then . Moreover and , exactly as in the discrete case.

Example. Find the mean and variance of the uniform distribution on .
The density is on . Then

using the difference of two squares. Similarly

so

Therefore the uniform distribution on has mean — the midpoint, as symmetry demands — and variance . Applying this to the time-of-day example, the mean is (noon) and the standard deviation is hours.

Note

Theorem (standardisation)
If and , and , then and .

Proof. By the linearity results with and ,

Basically, standardising re-expresses a measurement as "how many standard deviations from the mean", stripping away the units and the scale. This is what makes a single table of normal probabilities usable for every normal distribution, as we see next.

9.6 Special continuous distributions

9.6.1 The normal distribution

Note

Definition
A continuous random variable has the normal distribution if its density is

The case is the standard normal distribution, whose variable is written .

Note

Theorem
If then and . Moreover .

The density is the familiar symmetric bell curve centred at , with controlling its width. It matters enormously in practice because of the central limit theorem (a second-year topic): sums and averages of many independent random quantities are approximately normal regardless of the distribution they came from, which is why the normal turns up in measurement errors, heights, exam marks and almost everything else.

Now a genuine obstacle. To compute we must integrate the density — but has no elementary antiderivative, so none of the techniques of Integration Techniques can produce a formula. This is not a failure of ingenuity; it is a theorem. The practical response is to evaluate the integral numerically once and for all (by the power-series method of Section 4.8, in fact) and publish the results as a table of standard normal probabilities. Standardising is what lets one table serve every and .

Tables give . A small excerpt:

Two facts make the table go further than it looks. Since the density is symmetric about ,

Sketch the bell curve and shade the region you want before reaching for the table. Nearly every error in this section is a region error rather than an arithmetic one, and a five-second sketch prevents it.

Example. Suppose is normally distributed with mean and standard deviation . Find .
Standardising,

from the table. Therefore .

Example. Weekly wages of secretaries are normally distributed with mean and standard deviation . What is the probability that a secretary earns more than , and how many of randomly chosen secretaries would you expect to?
Let be a weekly wage, so and . When we have , so

Out of secretaries we would expect , that is about , to earn more than . Therefore the probability is and the expected number is roughly .

Example. With the same wage distribution, find the wage exceeded by only the top of secretaries.
This is an inverse problem: we know the probability and want the value. We need , i.e. . Reading the table backwards, at about . Un-standardising,

Therefore about of secretaries earn more than . For inverse problems you read the table in the opposite direction and then reverse the standardisation; setting up and solving for keeps this straight.

The symmetry and the table together give the rule of thumb worth committing to memory:

So a normal variable is almost never more than three standard deviations from its mean, which is why a "three sigma" event is treated as evidence that something unusual is going on.

9.6.2 [X] The exponential distribution

The geometric distribution modelled waiting for a success in discrete trials. Its continuous counterpart models waiting for an event in continuous time.

Note

Definition
A continuous random variable has the exponential distribution , for , if its density is

Check that this is a density: everywhere, and

Integrating gives the cdf immediately:

Compare this with the geometric tail probability the exponential is the continuous limit of the geometric, and plays exactly the role that did.

Note

Theorem
If , then and .

Proof (of the mean). Integrating by parts with and ,

where the boundary term vanishes because as (the exponential beats the linear term).

So is a rate — events per unit time — and is the mean waiting time between them, mirroring the geometric mean exactly.

Note

Theorem (memorylessness)
If then for all , .

Proof. Since , the intersection of the two events is just , so

Basically, an exponentially distributed component does not age: given that it has already survived hours, its chance of surviving another is the same as a brand-new one's. This is exactly the continuous version of the fact that a coin has no memory of previous tosses, and the exponential is the only continuous distribution with this property.

It is also why the exponential is often the wrong model for things that genuinely wear out. A light bulb that has been burning for a year really is more likely to fail soon than a new one, so its lifetime is not exponential.

Example. The time in years between claims on a certain insurance policy is exponentially distributed with mean years. Find the probability that the next claim comes within years, and the probability that a policy with no claim for years goes a further without one.
Since the mean is , we have . Then

For the second part, memorylessness makes the three claim-free years irrelevant:

Therefore there is about a chance of a claim within two years, and a chance that a three-year-clean policy stays clean for two more — exactly the same as for a brand-new policy.

To summarise the chapter: probability is a measure on subsets of a sample space, and every rule for combining probabilities comes from partitioning a set into disjoint pieces and adding. Conditioning restricts attention to a sub-space and rescales, which gives the law of total probability and Bayes' theorem — and Bayes is where intuition fails most badly, because base rates matter as much as accuracy. Random variables attach numbers to outcomes so we can average them, giving the mean and variance, and a few standard distributions cover most situations: the binomial for counting successes in a fixed number of trials, the geometric for waiting for the first success, the normal for anything built from many small independent contributions, and the exponential for waiting times in continuous time. The discrete and continuous cases are the same theory throughout, with replaced by ; the one genuine difference is that a continuous variable assigns probability zero to every individual value, so probability lives in areas rather than in points.