posted on 2025-05-09, 05:18authored byT. Rivoal, W. Zudilin
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.