| Looks K | Overall type I error |
|---|---|
| 1 | 0.050 |
| 2 | 0.083 |
| 3 | 0.107 |
| 4 | 0.126 |
| 5 | 0.142 |
| 10 | 0.193 |
| 20 | 0.248 |
| 50 | 0.320 |
Why sequential analysis?
Looking early is natural — and costly
A randomised trial recruits patients over several years. Its data monitoring committee (DMC) meets every few months. Patients are entitled to stop receiving an inferior treatment as soon as the evidence is clear, and funders do not want to pay for recruitment that can no longer change the conclusion (DeMets and Ellenberg 2016; Whitehead 2004). The same pressure exists in cohort studies, vaccine safety surveillance and laboratory experiments.
The difficulty is statistical. Each look is a new chance of a false-positive result. If the analyst tests the accumulating data at the usual 5 % level every time and stops at the first significant result, the overall probability of a false positive is no longer 5 %.
Repeated testing inflates the type I error
The table shows the overall two-sided type I error when a trial is tested at nominal \(\alpha = 0.05\) (\(|Z| \ge 1.96\)) at \(K\) equally spaced looks and stops at the first significant one (Armitage et al. 1969; Jennison and Turnbull 2000).
With five looks the error rate is almost three times the nominal one; with 50 looks it is 0.32. As the number of looks grows without limit, a false positive becomes certain.
The figure simulates 60 trials in which the treatment has no effect. Each grey path is the \(Z\) statistic of one trial, recomputed at 20 equally spaced looks. The paths that cross the naive \(\pm 1.96\) lines at any look — shown in orange — would all have been reported as “significant”. The blue O’Brien-Fleming boundary, which is wide early and narrow late, lets through only the planned 5 % over the whole trial.


What a sequential design specifies
A sequential design fixes, before any data are seen:
- When to look. The number of analyses \(K\) and their timing, expressed as the information fraction \(t_k\) — the proportion of the final statistical information available at look \(k\) (see Information).
- When to stop. Boundaries for the test statistic. Crossing the efficacy boundary stops the study and rejects \(H_0\). Crossing an optional futility boundary stops it for lack of effect.
- How large the study may become. The maximum sample size (or number of events), chosen so that the power is still \(1-\beta\) despite the stricter boundaries.
The boundaries are calculated so that the probability of ever crossing the efficacy boundary is exactly \(\alpha\) when \(H_0\) is true.
Benefits and costs
Benefits. The expected sample size is smaller than that of a fixed-sample study with the same power, often by 20–40 % when the treatment works (Jennison and Turnbull 2000; Todd et al. 2001). Participants are exposed to an inferior treatment for less time, and answers arrive earlier.
Costs.
- The maximum sample size is larger than the fixed one; the ratio is the inflation factor.
- The design needs a monitoring structure (a DMC, data cleaning at each look) and pre-specified rules (International Council for Harmonisation 1998; U.S. Food and Drug Administration 2019).
- A study stopped early for benefit tends to overestimate the effect. The naive estimate at the stopping look is biased, markedly so when few events have accrued (Bassler et al. 2010). Correct inference after a sequential test needs special methods (Inference).
Where to go next
The next page, Information, explains the statistical structure — the canonical joint distribution — that makes all these calculations possible for any endpoint. For book-length treatments, see Jennison and Turnbull (2000), Whitehead (1997), (2006) and Wassmer and Brannath (2016). Short reviews are Todd (2007) and Lakens (2014).