Family 005Number theoryNo LeanNot yet digested

Irrationality of Catalan’s constant

Proves that Catalan's constant

G=\sum_{j\ge0}(-1)^j/(2j+1)^2

is irrational.

Manuscripts in this family · 1

Sep 24, 2026·paper.pdf

We prove that Catalan's constant

G=\sum_{j\geq0}(-1)^j/(2j+1)^2

is irrational.

Full abstract