Registry · Remark IV.R102 tau-effective not_applicable

IV.R102 — Largest but finite

The strong sector contributes the most to the vacuum energy, but the geometric series sum iota_tau^k = 1/(1-iota_tau) approx 1.518 converges; the non-truncating accumulation involves all stages but does not produce a divergence.

Book IV Part 5 Ch. 44

Lean Formalization

Module:

Symbol: