Print this page and work through it on paper. Revealed answers are never printed, so you can check one question and still print a clean sheet.

  1. Show the solution to question 1

    (a) The two conditions. A pmf must be non-negative and must sum to over its support. Non-negativity only forces ; the total mass fixes . Split the summand by partial fractions:

    The partial sums telescope: . So , and this equals exactly when .

    (b) The tail telescopes too. For ,

    Taking recovers the total mass , a check on (a). By the complement rule, at each integer ,

    (c) Reading probabilities off the tail. .

    . Check by adding the three terms directly: ✓.

    , because takes no value in , so the running total does not move between and — the cdf is flat between support points.

    , whereas . They differ by exactly : for a discrete variable the point itself carries mass, so a strict and a non-strict inequality are different events.

  2. Show the solution to question 2

    (a) Go through the cdf, not the pmf. The event says the larger die is at most , which happens exactly when both dice are at most . Each die shows a value in with probability , and the dice are independent, so the two conditions multiply:

    The pmf is the size of each jump of the cdf: , with . Hence

    which gives , , , . These sum to ✓. (The counting check: of the equally likely ordered pairs, exactly have maximum — the pair plus the pairs and the pairs with .)

    (b) The staircase. The graph is a staircase with four steps and five flat pieces.

    For the height is : no value of is below . On the height is ; on it is ; on it is ; and for it is , since can never exceed .

    At each of the graph jumps upward by respectively — the jump sizes are the pmf, and they grow because larger maxima are more common. At each jump put the filled dot at the top of the step, on the right-hand piece, and the open dot at the bottom on the left-hand piece: includes the value itself, so at the function already equals , not . That is right-continuity, and the dots are how a sketch records it.

    Draw the flat pieces as horizontal segments, the jumps as gaps (not vertical lines), and label the five heights on the -axis.

    (c) Reading the sketch. , the height of the piece on , which is . It is not the height at , because the strict inequality excludes the jump at .

    : the total height minus the height just to the left of .

    . Neither nor is a support point, so read the flat pieces they sit on: and , giving . From the pmf, the only support points in are and , and ✓.

  3. Show the solution to question 3

    (a) Mean and variance from the definition. Each value has probability , so

    By the computational formula ,

    (b) Two routes to the same number. Directly, by the law of the unconscious statistician with , weight each by : the values of for are , so

    By expansion, , and linearity of expectation gives

    The two agree ✓. Note that exceeds by exactly . That is no accident: the mean squared distance from any point is the variance plus the squared offset of from the mean, so the variance is the smallest mean squared distance, attained only at .

    (c) Doubling one die is not rolling two. Means first. By linearity, and . Linearity needs no independence, so the second computation would be valid even if the dice were glued together.

    Variances. For use the scale rule , which holds unconditionally:

    For use the theorem that variances of independent variables add — and here the independence of the two dice is exactly what licenses it:

    So and share a mean but . The reason is visible without any formula: can only be even and is or a sixth of the time each, whereas piles up near because the two dice can offset each other. A second independent source of randomness spreads a total out less than repeating one source twice does. The only step that used independence was the variance of ; every other step was linearity or the scale rule.

  4. Show the solution to question 4

    (a) Add and subtract the mean. Write and expand the square:

    The hypothesis guarantees that and both exist, so every expectation below is a finite number and linearity may be applied. Taking expectations term by term — this is linearity of expectation, with and treated as the constants they are —

    The first term is by the definition of variance. For the middle term, linearity again gives , so the cross term vanishes. What remains is .

    (b) Two consequences. The right-hand side is plus a square. A square is and equals only when , so for every , with equality if and only if . That is the uniqueness of the minimiser: the mean is the point about which the mean squared deviation is smallest.

    For the inequality, take : , since as the expectation of a non-negative quantity. (Rearranged, this is the computational formula , which the identity therefore contains as the special case .)

    (c) A numerical check. Two fair flips give , , , so and , hence .

    Right-hand side with : .

    Left-hand side, by the law of the unconscious statistician: takes the values with probabilities , so ✓.

  5. Show the solution to question 5

    (a) The pmf. With , , and denominator :

    Sum: , so the total is ✓ (this is the binomial theorem for written out).

    (b) Get the boundary right. “At least ” excludes exactly the values and :

    And , the complement, as it must be. Cross-check from the table: ✓.

    (c) Moments. and . Directly,

    (If you also check the variance: , and ✓.)

    (d) The ratio of neighbours. From the pmf,

    using . The pmf rises while this ratio exceeds and falls once it drops below , so the mode is the first at which the ratio falls below — unless the ratio equals exactly, in which case two neighbouring values tie.

    With and , the ratio is : for it is , so ; for it is , so , and the ratio only shrinks after that. The most likely value is therefore . The table agrees — is the largest entry — and the mode sits just below the mean , as it should for a right-skewed binomial with .

  6. Show the solution to question 6

    (a) Three flaws; Step 1 is sound. Step 1 checks BINS correctly — binary outcomes, independent questions, fixed in advance, constant — and by linearity of expectation.

    Step 2 adds standard deviations. The rule is that for independent variables the variances add, ; standard deviations never do, because . Independence is genuinely available here, but it licenses adding copies of , not copies of .

    Step 3 misplaces the boundary. For an integer-valued variable the complement of is , not . The written sum subtracts from both sides of the fence, so the student's expression equals . The correct form is .

    Step 4 squares the wrong quantity. The scale rule is , and therefore . The square belongs to the variance; taking the square root undoes it. Multiplying a standard deviation by inflates it by a spurious factor of .

    (b) The correct spreads. , so

    Sanity check: lives on with mean . The student's would put one standard deviation below the mean at a negative number of correct answers; and is a standard deviation larger than the maximum possible mark of . A spread cannot exceed the range of the variable. The true values, roughly answers and marks, are of the right size.

    (c) The correct probability. With the boundary fixed,

    The three terms are , and . Pull out the common factor :

    Therefore

    For scale, is a little over , so is roughly — with correct expected, scoring at least should indeed be very likely, which the student's misplaced boundary would have understated.

  7. Show the solution to question 7

    (a) One hour, . With ,

    “At least ” has infinitely many terms, so use the complement, which excludes exactly the values and :

    (b) Rescale to the window first. Ninety minutes is hours, so the count in that window is Poisson with parameter , and

    Second way: the window is an hour followed by a disjoint half-hour, whose counts are independent Poisson variables with parameters and . The whole window is empty exactly when both pieces are empty, so the probability is ✓. (This is the sum rule in action: the total count is Poisson, whose zero-term is .)

    (c) The ratio of neighbours. For a Poisson variable,

    With this is : it equals at , exactly at , and at , shrinking thereafter. So , and there are two most likely values, and , each with probability . (Whenever is a positive integer, and tie.)

    (d) Two hours, . The two-hour count is Poisson, so

    Compare with by dividing:

    This exceeds exactly when . Since , , so the ratio is greater than and exactly orders in one hour is the more likely event.

    Why this is reasonable: both events ask for the count to land exactly on its mean, but the two-hour count has variance rather than , so its mass is spread over more values and each individual value — including the mean — gets less of it. Note also that “ in two hours” is not the same as “ in each hour”: the latter has probability , only one of the five ways () of reaching a total of .

  8. Show the solution to question 8

    (a) Read the pmf off the experiment. For the first defective to be the fourth item, items – must pass and item must fail:

    The event says simply that the first four items all passed, which by independence has probability — no summation needed. Then .

    (b) Moments. , , and , roughly — nearly as large as the mean, as geometric waiting times usually are.

    (c) Memorylessness, then the check. By memorylessness, . Here and “item or later” is , so

    Directly: , so the intersection is and

    Six passes in a row have taught the inspector nothing about item : it fails with probability , exactly as item did.

    (d) The median. exactly when . Now , while . So the smallest such is : the median is , with just under a half and just over.

    The median is below the mean . The geometric pmf is right-skewed — it is largest at and decays geometrically — so a minority of very long waits drags the mean above the point that splits the probability in half. Half of all inspections find a defective within items, but the average wait is .

  9. Show the solution to question 9

    (a) Alternate the signs. Consider the difference between the even and the odd mass:

    by the exponential series at . We also know , since the pmf sums to . Adding the two equations and halving,

    Since for every , this exceeds strictly, so even counts always win — the edge comes entirely from the term, which is even and has no odd partner of comparable size. As , and the probability tends to : for a large rate, parity is a coin flip.

    (b) Cancel three factors of the factorial. The terms vanish because there. For , , so

    after substituting . (The law of the unconscious statistician is what lets us write the expectation as this sum.)

    For the cube, expand the falling factorials: and . Hence

    which you can confirm by expanding the right side: ✓. Taking expectations by linearity,

    Check at : , which is the right size — it must exceed because on the support.

    (c) Condition on the total. By the definition of conditional probability, and because ,

    the factorisation in the numerator being independence. The denominator is known: independent Poissons add, so . Substituting all three pmfs,

    The exponentials cancel exactly, the factorials assemble into , and splitting gives

    which is the pmf.

    The interpretation: once you know events occurred in total, each one was independently an “-type” event with probability proportional to its rate. Note that and can be any positive numbers, but the binomial parameter is a genuine probability in , exactly as it must be.

  10. Show the solution to question 10

    (a) Negative binomial, , . For the second make to land on shot , shot must be a make and exactly one of the first shots must be a make:

    So , , .

    Adding, , hence .

    Independent check: says the second make has not arrived by shot , i.e. the first four shots contain at most one make. The number of makes in four shots is , so

    (b) Two geometric stages. Let be the number of shots up to and including the first make, and the number of further shots from there up to and including the second make. Then exactly. Each is geometric: after the first make the sequence of independent shots simply restarts, which is memorylessness. The two stages depend on disjoint blocks of shots, so they are independent.

    Linearity gives . Because the stages are independent, the variance-of-a-sum theorem applies and

    Sanity check against (a): the mean sits between the two most likely values and , and says the distribution is tight, consistent with a standard deviation of about .

    (c) Hypergeometric, , , . The committee is a sample without replacement from a finite pool, so

    With : , and

    (d) The binomial is the wrong model here. Under ,

    Compare (about ) with the true (about ): the binomial is off by nearly on a single probability. The rule of thumb allows the binomial when the sample is at most of the population; here , far outside it, so the approximation is not acceptable. The mean, , is the same under both models — linearity does not care about dependence — but the binomial variance overstates the true by the factor .

    The reason is the finite population correction . Each woman chosen leaves fewer women in the pool, so the draws push the count back toward its mean: the dependence is negative, and it shrinks the spread. Sampling with replacement would waste draws on people already chosen and could not exert this pull, which is why it has the larger variance.

  11. Show the solution to question 11

    (a) Work with tails, which multiply. The minimum exceeds exactly when both variables do, and by independence

    where . Since forces , and likewise for , the product lies in , so is a legitimate parameter.

    A distribution on is determined by its tail, because the pmf is the sequence of tail differences. For ,

    which is exactly the geometric pmf.

    Interpretation: run both sequences of trials in parallel and call round a “success” if either sequence succeeds on its th trial. Rounds are independent and each succeeds with probability — one minus the chance that both fail — so , the first successful round, is the waiting time for a Bernoulli process. (For , and .)

    (b) Sum over the odd support. The odd values are for , so

    a geometric series with ratio , convergent because . The denominator is , and cancelling the (legitimate since ) gives

    For we have , so . The first trial is odd-numbered and carries the single largest lump of probability, ; every later odd trial is paired with the even trial before it, which is likelier, but the unpaired first trial tips the balance. At the probability is (the first trial always succeeds), and as it falls toward .

    (c) Condition on the first flip. Either A's first flip is heads, with probability , and A wins at once; or it is tails, with probability , and the game continues with B flipping first. Because the coin has no memory, that continuation is a fresh copy of the original game with the roles swapped, so B now wins it with probability and A with probability . Hence

    Solve: , so , i.e. and

    This agrees with (b), as it must: A wins exactly when the first head appears on an odd-numbered flip, and the number of the first head is geometric. For a fair coin A wins with probability — moving first is worth a full extra third.

  12. Show the solution to question 12

    (a) Binomial: fixed , count of successes. Thirty independent screenings with constant , and counts successes, so — the tell is “thirty people are screened … how many qualify”. and .

    Exactly, . With large and small, the Poisson approximation with gives .

    Which is larger? The inequality for holds because satisfies and for , so is strictly positive there. Apply it with and raise both (positive) sides to the th power:

    So the Poisson approximation overstates the exact probability of zero qualifiers. (The two are close — the error of the Poisson limit is of order relative to unity in the exponent, i.e. a few percent here.)

    (b) Negative binomial: count of trials until the th success. The number of trials is random and the number of successes is fixed at — “continue until have qualified” — so is negative binomial with , , on . As a sum of three independent geometric waits,

    The standard deviation, a little over , is more than half the mean: the recruiter should not plan on “about ”.

    For , person must qualify and exactly of the first must qualify:

    (The coefficient is , not : the last trial is not free.)

    (c) Hypergeometric: without replacement from a small pool. Four names from a list of with marked, drawn without replacement — “drawn at random without replacement” from a fixed finite list is the tell — so is hypergeometric with , , . Choosing no one with the condition means all four names come from the unmarked:

    — by linearity over the four indicator variables, dependence notwithstanding. The binomial would not do here: is far above .

    (d) A Poisson feeds a binomial and a geometric. Referrals in a single day are Poisson with (a rate over a window, no list of trials), so a given day is referral-free with probability

    Under the Poisson assumptions, counts in disjoint days are independent, so the five days are independent Bernoulli trials.

    counts successes among a fixed of them: , with and

    Second way: the whole week is a single window of days, so its referral count is Poisson, and “no referrals all week” is its zero term, ✓ — the sum rule for independent Poissons and the binomial product agree, as they must.

    counts trials (days) up to and including the first success (a free day), so is geometric with parameter on , and

    This is a little under : with only half a referral expected per day, a quiet day comes quickly. The two-step reading is the point of the part — a Poisson calculation supplies the that a binomial and a geometric then consume.

Full solutions sheet →