Updated · By Pete Bromfield, IB Maths IA examiner

Top-band exemplar · AA HL · written to a full-marks standard

How far can a stack of books lean over the edge of a table?

Series, proof and calculus · about 18 pages · top-band standard · our judgement 20/20

Written by IB Math Revision to show a top-band (full-marks) standard — not a real student's IA, not moderated by the IB; marks can't be guaranteed. The marks below are our examiner-style judgement against the criteria. This exploration was never submitted in an IB session and we do not claim it scored 20/20.

An AA HL exploration written to a top-band (full-marks) standard: the harmonic stack proved by induction, a telescoping proof that nothing better exists, integral bounds and the Euler–Mascheroni estimate for the number of books, a real experiment whose systematic error is modelled by least squares, and an exchange-argument proof for books of different masses.

Why it reaches the top band, criterion by criterion

CriterionMarkWhy
A · Presentation4/4A precise four-part aim that structures the whole exploration; each section answers one part, and the conclusion answers them in order. Concise: every section is needed.
B · Mathematical communication4/4Symbols, units and a sign convention defined before use; key results numbered and referred back to; proofs laid out step by step; tables and figures chosen to support the argument and referenced in the text.
C · Personal engagement3/3Outstanding and sustained: the question comes from a real bet, the student explains a failed first approach, designs a careful experiment, and chooses the extension from their own context.
D · Reflection3/3Substantial critical reflection throughout: a systematic error is spotted, explained, modelled and shown to overturn the theoretical conclusion for real stacks; limits of the proof are stated precisely.
E · Use of mathematics6/6Sophisticated, rigorous HL mathematics that is always relevant: induction, a telescoping optimality proof, divergence and integral bounds, least squares derived by calculus, and an exchange argument checked exhaustively.
Total20/20Full marks are justified because each criterion is met throughout the work, not in one section: the proofs are complete, the reflection changes the answer, and the student's decisions are visible at every stage.

Marks are our judgement of this teaching exemplar against the current criteria, explained criterion by criterion. They are not IB moderation results, and a real IA written to this standard could still be marked differently by a teacher or moderator.

What would lose marks here

The same exploration, with these changes, would drop out of the top band:

  • E Quoting the harmonic-stack result (for example from a video) without the induction proof and the optimality proof would drop E to 4 or less at HL: the mathematics would be correct but not shown to be understood.
  • D Reporting the experiment as “the results were close to the theory, with small errors”, without noticing the systematic shortfall, would lose the reflection that earns D3.
  • A Adding the multi-book-per-layer research as a long retelling of the published paper would make the work less concise and less focused on the aim.
  • C Opening with “I have always been fascinated by the harmonic series” and nothing the student actually did would give no evidence of engagement, however true it is.
  • B Writing = instead of ≈ for measured or estimated values, or letting variables like n and k swap meaning between sections.

Excerpts with examiner annotations

Free sections are shown below with comments; the rest is in the full exemplar, available in the protected viewer with the IA package or a Pro plan.

1. Introduction

Last summer I helped at our school's second-hand book sale, and my job was to stack the unsold paperbacks at the end of each day. A younger student bet me that I could not build a pile in which the top book was completely clear of the table — that is, not above the table at all. I lost the bet on the day, because my pile fell over, but I was sure it was possible. When I tried again at home with one book per layer, I managed it with four books, and I wanted to know why four was enough, and how far the idea could go.

Aim. For a stack of \(n\) identical books, one book per layer, I will (i) find the largest possible overhang beyond the table edge and prove that no other arrangement of this kind does better, (ii) find how many books are needed for a given overhang, (iii) compare the theory with stacks I build and measure, and (iv) find the best order in which to stack books of different masses.

The overhang turns out to be connected to the harmonic series \(1 + \tfrac12 + \tfrac13 + \cdots\), which we met briefly in class as an example of a series that diverges even though its terms tend to zero. This exploration was my chance to find out what that surprising fact means for something I can hold in my hands.

C A specific, lived starting point (a lost bet, a failed first attempt, a successful second one) and a question the student genuinely wants answered. Engagement is shown by what the student does, not claimed with words like “I have always loved maths”.

A A four-part aim that is precise and answerable, and a clear signal of the mathematics to come. Each part is picked up by a section later.

2. The model and its assumptions

I number the books from the top: book 1 is the top book and book \(n\) rests on the table. I use:

\(L\) = length of each book (cm); for my paperbacks \(L = 19.8\) cm;
\(e_k\) = horizontal position of the right-hand edge of book \(k\), measured from the table edge (positive beyond it), with \(e_{n+1} = 0\) for the table itself;
\(d_k = e_k - e_{k+1}\) = how far book \(k\) sticks out beyond the book (or table) under it;
\(D_n = e_1\) = the overhang of the whole stack.

Assumptions. (1) Each book is a rigid, uniform rectangular block, so its centre of mass is at its centre, a distance \(\tfrac L2\) behind its right edge. (2) All books have the same mass (until Section 7). (3) The books are pushed in one direction only, perpendicular to the table edge, so the problem is two-dimensional. (4) Friction is large enough that nothing slides; the only way the stack can fail is by tipping.

The balance condition. A set of blocks resting on a supporting edge does not tip as long as its combined centre of mass is not beyond that edge. So the stack does not tip outwards exactly when, for every \(k = 1, 2, \dots, n\), the centre of mass of the top \(k\) books is at or behind \(e_{k+1}\). (It could also tip backwards if that centre of mass were behind the left-hand end of the supporting book, but in a stack leaning outwards that never happens, so I only need the condition on the right.) Writing \(c_k\) for the horizontal position of that centre of mass,

\[ c_k = \frac{1}{k}\sum_{i=1}^{k}\left(e_i - \frac{L}{2}\right) \le e_{k+1}, \qquad k = 1, 2, \dots, n. \qquad (1) \]

Assumption (4) is the one I doubted most, because paperbacks are slightly soft and their spines are rounded. I come back to it when I test the model in Section 6.

B Every symbol is defined before use, with units and a sign convention; the key condition is written once, numbered, and referred to later.

E The physical principle (balance about an edge) is turned into a precise system of inequalities. Setting up the problem this way is what makes the proof in Section 4 possible.

D The student already flags which assumption is most doubtful and promises to test it — reflection that shapes the exploration, not a list at the end.

3. Building the stack from the top down

My first idea was to build the stack from the bottom up, pushing each new book out as far as it would go. This fails: pushing the second book out as far as possible leaves no room to push the third one further out, because the pair would then tip. So I reversed the process. If I place each set of books so that its centre of mass is exactly on the edge of the book below — the critical position — every inequality in (1) becomes an equation.

Claim. In the critical stack, \(d_k = \dfrac{L}{2k}\) for every \(k\).

Proof by induction. Put the origin temporarily at \(e_{k}\), the right edge of book \(k\). If the top \(k-1\) books are critical, their combined centre of mass is on the edge of book \(k\), i.e. at position 0, with total mass \((k-1)m\). Book \(k\) has mass \(m\) and centre of mass at \(-\tfrac L2\). So the centre of mass of the top \(k\) books is at

\[ \frac{(k-1)m \times 0 + m \times \left(-\frac L2\right)}{km} = -\frac{L}{2k}. \]

For the top \(k\) books to be critical, this point must be exactly on the edge of book \(k+1\), so \(e_{k+1} = e_k - \frac{L}{2k}\), i.e. \(d_k = \frac{L}{2k}\). For \(k = 1\) the top book alone has its centre at \(-\tfrac L2\), so \(d_1 = \tfrac L2\), which is the base case. By induction the claim holds for all \(k\). \(\blacksquare\)

Adding the shifts gives the overhang of \(n\) books:

\[ D_n = \sum_{k=1}^{n} \frac{L}{2k} = \frac{L}{2}\left(1 + \frac12 + \frac13 + \cdots + \frac1n\right) = \frac{L}{2}H_n, \qquad (2) \]

where \(H_n\) is the \(n\)th harmonic number. For \(n = 4\), \(H_4 = \frac{25}{12}\), so \(D_4 = \frac{25}{24}L > L\): the top book is completely clear of the table, which is why four books won me the rematch. With three books, \(D_3 = \frac{11}{12}L\), just short.

Table 1: The first six layers of the critical stack for my books (L = 19.8 cm).
k (from the top)shift of book k past book k + 1total overhang of the top k books
1L/2 ≈ 9.90 cm1/1 × L/2 ≈ 9.90 cm
2L/4 ≈ 4.95 cm3/2 × L/2 ≈ 14.85 cm
3L/6 ≈ 3.30 cm11/6 × L/2 ≈ 18.15 cm
4L/8 ≈ 2.48 cm25/12 × L/2 ≈ 20.63 cm
5L/10 ≈ 1.98 cm137/60 × L/2 ≈ 22.61 cm
6L/12 ≈ 1.65 cm49/20 × L/2 ≈ 24.26 cm

−30−20−100102030horizontal position (cm), table edge at 0123456overhang = (L/2)H₆ ≈ 24.3 cmtableA critical (harmonic) stack of six books, L = 19.8 cm
Figure 1: Each red tick marks where the centre of mass of all the books above it lies: exactly on the edge of the book (or table) underneath. Books are numbered from the top.

The shifts get smaller as we go down, which matches what I saw: the top books stick out a long way and the bottom books hardly at all. It also explains why building from the bottom fails — the bottom book must stick out least, not most.

E A correct, fully justified proof by induction (base case, inductive step, conclusion) — HL mathematics used because the problem needs it, not as decoration.

C The student explains a failed first approach and why reversing it works: independent thinking visible on the page.

D The result is immediately interpreted: it explains the rematch, the look of the stack, and why the first method failed.

4. Is the harmonic stack really the best?

In the full exemplar (about 1.5 pages). A telescoping proof that no stable one-book-per-layer stack can beat the harmonic stack, checked numerically, and what changes if layers can hold more than one book. Open in the protected viewer

5. How many books for a given overhang?

In the full exemplar (about 2.5 pages). Why any overhang is possible (divergence), integral bounds for Hₙ, the estimate n ≈ e^(2m−γ), and the exact number of books for 1, 2, 3 and 5 book lengths. Open in the protected viewer

6. Testing the model with real books

In the full exemplar (about 3 pages). Ten stacks built and measured three times each, a systematic shortfall explained and modelled with a least-squares loss per book, and the surprising consequence: a real stack has a best height. Open in the protected viewer

7. Extension: books of different masses

In the full exemplar (about 2.5 pages). Critical stacks of books of different masses, an exchange argument proving that lightest-on-top is optimal, and a check over all 40 320 orders. Open in the protected viewer

8. Conclusion and reflection

For \(n\) identical books with one book per layer, the largest possible overhang is \(\frac L2 H_n\). I proved by induction that the critical stack achieves it, and with a telescoping argument that no stable stack of this kind does better. Four books are enough for the top book to clear the table completely (\(H_4 = \frac{25}{12} > 2\)). Because the harmonic series diverges, any overhang is possible in theory, but the number of books grows like \(e^{2m-\gamma}\): three book lengths already needs 227 books. For books of different masses, the best order is lightest on top.

My experiment showed the most important limitation. Real stacks fall short of the ideal by a loss of about 0.3 cm per book, and because this loss grows linearly while the ideal overhang grows only logarithmically, a real stack of my books cannot do better than about 30.5 cm, reached with about 32 books. The model is therefore excellent for small stacks — which is what the bet was about — and misleading for large ones. My estimate of \(\delta\) comes from only ten stack sizes built by one person, and it probably depends on the books and on how patient the builder is, so the value 32 should be read as “about thirty” rather than as an exact number.

Other assumptions matter less at this scale: the books were close to uniform, and nothing slid on the worktop, although with glossy covers sliding could become the way the stack fails. The biggest limit of the whole exploration is the rule of one book per layer. The research I read shows that with several books per layer the overhang can grow like \(\sqrt[3]{n}\) rather than \(\ln n\) — so the answer to “how far can a stack of books lean?” depends as much on the rules of the game as on the mathematics.

What I will remember is that the same series can say “anything is possible” and, one small realistic assumption later, “about thirty books is the best you will do”. At the next book sale I intend to win the bet with four books and not attempt thirty.

A The conclusion answers all four parts of the aim, in order, with the key numbers, and ends where the exploration began. Nothing new is introduced.

D Assumptions are ranked by their effect, the uncertainty in the key estimate is acknowledged in words that match its size (“about thirty”), and the limits of the model are stated with the evidence for them.

Bibliography

In the full exemplar (about 1 page). Sources, technology used and appendices. Open in the protected viewer

What a moderator could still ask for

  • Even at this level, a moderator could ask for an uncertainty on δ (for example from the spread of the three trials) and for photographs of the set-up in the main text rather than an appendix.
  • The extension assumes all eight books have the same length; saying how much real length differences would change the result would close the last gap.

Frequently asked questions

Did this IA actually get 20/20?

No — it is not a real student's IA and it was never submitted or moderated. It was written by IB Math Revision to show what a top-band (full-marks) standard looks like; the marks are our examiner-style judgement against the criteria, and no one can guarantee a mark.

Can I use the book-stacking problem for my own IA?

You can explore overhang if the question and the work are genuinely yours, but copying or closely paraphrasing this exemplar — its structure, wording, data or figures — is academic misconduct. A different angle (books of different lengths, friction, a different physical system) is a much better starting point.

Is a proof necessary for full marks in Criterion E at HL?

Not always, but at AA HL Criterion E rewards sophisticated, rigorous mathematics. Here the proofs are what show understanding; in a modelling or statistics IA, rigour looks different.

Other top-band examples

All 10 annotated exemplars, including a deliberately mid-band draft.

Read the whole exploration

The full “Book-stack overhang (AA HL)” exemplar, with an examiner's note on every section, is in the IA package with the other 9 exemplars (Pro and Platinum plans include them too). €39 once, 12 months' access, 14-day money-back guarantee. It helps you write your own IA; it never writes it for you.

See what's in the IA package

Already have access? Open it in the viewer · All exemplars · Want your own draft marked like this? Examiner review