Registry · Theorem V.T254 conjectural formalized

V.T254 — Primorial Convergence Rate

1-α_n = 1/p_n# → 0 super-exponentially. By depth 5, exponent within 0.04% of Leray value.

Book V Part 4 Ch. 27

Dependency Graph

Depends on (1)

V.D314

Depended on by (4)

V.P174 V.R450 V.T342 V.T345

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.primorial_convergence