The John-Nirenberg inequality proved by iterating the Calderon-Zygmund decomposition, the resulting equivalence of the $L^p$ and $L^1$ oscillation norms on BMO, and both halves of the pairing behind the Fefferman-Stein duality $(H^1)^* = \mathrm{BMO}$.