Diophantine properties of numbers related to Catalan's constant

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.