Why Renormalization Is Needed: The Källén–Lehmann Spectral Representation

A non-perturbative derivation showing that the analytic structure of the interacting two-point function forces field strength renormalization Z and a physical mass m ≠ m₀ — long before any loops or infinities appear.