A mathematical proof demonstrates that Catalan's constant, a sum series introduced in the nineteenth century, is irrational, resolving a long-standing open problem in mathematics using weighted methods.