This article deals with Dirichlet’s beta function. Using the recursion (37), we have verified numerically (up to n = 1000) that 16ⁿ ·un ∊ℤand d²₂n · 16ⁿ · vn ∊ℤ: this is more that one can get from Lemma 6, although it is not sufficient to prove the irrationality of Catalan’s constant.
Relation
Mathematische Annalen Vol. 326, Issue 4, p. 705-721