Skip to content
#

littlewood

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Python 1

DavidFox998 / rh-growth-contradiction

Star 1

Route C of 3: RH via growth contradiction on X₀(143) g=13. Littlewood 1924 Ω: |ζ(1/2+it)|=Ω(exp(c log t/log log t)) contradicts |ζ|≤C(log t)² → Ingham Deuring-Heilbronn c1=0.209>0.2 β>0.9 closed at p5 → S₄={2,3,19,191} C=11.422>2√13 → GRH → H₄ 12/11 → RH. Lean 4.12 0 sorry. Companion to Route A & B.

riemann-zeta number-theory mathlib grh riemann-hypothesis analytic-number-theory littlewood lean4 riemann-zeta-function formal-proof riemann-hypothesis-lean4-mathematics riemann-zeta-constant bost-connes x0-143 riemann-zeta- kronecker-theorem omega-result zero-repulsion
  • Updated Jul 23, 2026
  • Lean

Improve this page

Add a description, image, and links to the littlewood topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the littlewood topic, visit your repo's landing page and select "manage topics."

Learn more