Registry · Theorem III.T70 tau-effective formalized

III.T70 — Partition Growth

Partition growth: r(M_{k+1}) > r(M_k) for k=2..4. Goldbach representations increase with primorial depth.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D103

Lean Formalization

Module: TauLib.BookIII.Spectral.GoldbachDeep

Symbol: partition_growth_4