Skip to content

Independently review #4411's logarithmic majorant: proof holds, arithmetic certified, least ranks slightly below stated, exact L(N) <= F(N) to N = 6000 (no new κ) - #4425

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:pr4411-majorant-review
Oct 21, 2026
Merged

Independently review #4411's logarithmic majorant: proof holds, arithmetic certified, least ranks slightly below stated, exact L(N) <= F(N) to N = 6000 (no new κ)#4425
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:pr4411-majorant-review

Independently review #4411's logarithmic majorant: proof holds, arith…

76613f8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs