Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 005-01. Catalan's constant is irrational

Manuscript map · lines 2535–2544

OpenAI@2026-10-07#rem:oai-p-005-01

Back to manuscript

Authors: OpenAI. Family 005.

Title: Catalan's constant is irrational.

Abstract: We prove that Catalan's constant $G={}sum_{j{}geq0}(-1){}j/(2j+1){}2$ is irrational.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section