Registry · Remark V.R256 tau-effective not_applicable

V.R256 — Where tau adds value

For predictions like g-2, tau adds nothing to the numerical result since QED already computes it correctly. What tau adds is structural explanation: the perturbation series converges because the profinite tower is finite at every level, eliminating Dyson's factorial divergence argument. The series is exact, not asymptotic.

Book V Part 7 Ch. 59

Lean Formalization

Module: