Registry · Remark IV.R357 tau-effective formalized

IV.R357 — Why alpha is small

The smallness of alpha ~ 1/137 traces to iota_tau^4 ~ (0.3415)^4 ~ 0.014 in Category tau; the fourth-power suppression is why perturbative QED converges, with each additional photon vertex contributing a factor of alpha ~ iota_tau^4.

Book IV Part 4 Ch. 26

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.WhyAlphaIsSmall