Non-vanishing on Re=1

ζ(1+it) ≠ 0 for real t, equivalent to PNT. Refinements: zero-free regions of Vinogradov, Korobov; feeds into best PNT error term.