The composition of projections onto closed convex sets in Hilbert space is asymptotically regular

The composition of finitely many projections onto closed convex sets in Hilbert space arises naturally in the area of projection algorithms. We show that this composition is asymptotically regular, thus proving the so-called zero displacement conjecture of Bauschke, Borwein and Lewis. The proof relies on a rich mix of results from monotone operator theory, fixed point theory, and convex analysis.