A second proof of the Carleson embedding theorem through the radially decreasing majorant, then the bridge to BMO: $|b*\psi_t|^2\,dx\,dt/t$ is a Carleson measure with constant $\|b\|_{\mathrm{BMO}}^2$, with the two lemmas that make $b*\psi_t$ converge at all.