Registry · Remark IV.R378 tau-effective formalized

IV.R378 — The smallness of alpha_mathrmem

The smallness alpha ~ 1/137 is structural in Category tau: alpha ~ iota_tau^4 with iota_tau ~ 0.34 of order unity, but the fourth power iota_tau^4 ~ 0.014 is intrinsically small; the primorial prefactor 8/15 ~ 0.53 further suppresses it, ensuring QED perturbation theory converges rapidly.

Book IV Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.TheSmallnessOfAlphamathrmem