Registry · Remark IV.R373 tau-effective formalized

IV.R373 — pi^3 approx 31: not a Mersenne prime

The numerical near-coincidence pi^3 ~ 31.006 ~ 2^5 - 1 is spurious; pi^3 is the product of three Wilson loop integrals from the three circles in tau^3 = tau^1 x_f T^2, a structural geometric quantity, not a number-theoretic artifact involving Mersenne primes.

Book IV Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.Pi3Approx31NotAMersennePrime