Apéry's constant is defined by(1)(OEIS A002117) where is the Riemann zeta function. Apéry (1979) proved that is irrational, although it is not known if it is transcendental. Sorokin (1994) and Nesterenko (1996) subsequently constructed independent proofs for the irrationality of (Hata 2000). arises naturally in a number of physical problems, including in the second- and third-order terms of the electron's gyromagnetic ratio, computed using quantum electrodynamics.The following table summarizes progress in computing upper bounds on the irrationality measure for . Here, the exact values for is given by(2)(3)(Hata 2000).upper boundreference15.513891Rhin and Viola (2001)28.830284Hata (1990)312.74359Dvornicich and Viola (1987)413.41782Apéry (1979), Sorokin (1994), Nesterenko (1996), Prévost (1996)Beukers (1979) reproduced Apéry's rational approximation to using the triple..
Catalan's constant is a constant that commonly appears in estimates of combinatorial functions and in certain classes of sums and definite integrals. It is usually denoted (this work), (e.g., Borwein et al. 2004, p. 49), or (Wolfram Language).Catalan's constant may be defined by(1)(Glaisher 1877, who however did not explicitly identify the constant in this paper). It is not known if is irrational.Catalan's constant is implemented in the WolframLanguage as Catalan.The constant is named in honor of E. C. Catalan (1814-1894), who first gave an equivalent series and expressions in terms of integrals. Numerically,(2)(OEIS A006752). can be given analytically by the following expressions(3)(4)(5)where is the Dirichlet beta function, is Legendre's chi-function, is the Glaisher-Kinkelin constant, and is the partial derivative of the Hurwitz zeta function with respect to the first argument.Glaisher (1913) gave(6)(Vardi..