Related papers: A third-order Apery-like recursion for $\zeta(5)$
The Ap\'ery polynomials and in particular their asymptotic behavior play an essential role in the understanding of the irrationality of \zeta(3). In this paper, we present a method to study the asymptotic behavior of the sequence of the…
We give a new hypergeometric construction of rational approximations to $\zeta(4)$, which absorbs the earlier one from 2003 based on Bailey's ${}_9F_8$ hypergeometric integrals. With the novel ingredients we are able to get a better control…
Inspired by the results of Rhin and Viola (2001), the purpose of this work is to elaborate on a series representation for $\zeta \left( 3\right)$ which only depends on one single integer parameter. This is accomplished by deducing a…
We prove that there are at least $1.284 \cdot \sqrt{s/\log s}$ irrational numbers among $\zeta(3)$, $\zeta(5)$, $\zeta(7)$, $\ldots$, $\zeta(s-1)$ for any sufficiently large even integer $s$. This result improves upon the previous finding…
In this paper, Riemann's Zeta function with odd positive integer argument is represented as an infinite summation of integer powers of $\pi$ with rational coefficients. Specific values for Apery's Constant and Catalan's Constant are then…
Recently, Simon Plouffe has discovered a number of identities for the Riemann zeta function at odd integer values. These identities are obtained numerically and are inspired by a prototypical series for Apery's constant given by Ramanujan:…
New expansions of the number zeta(3) in continuous fractions are found.
In this paper, an elementary method to find the values of the Riemann Zeta function at even natural numbers, and to find values of a closely related series at odd natural numbers is presented. Another method, specifically for the evaluation…
We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).
Using symbolic summation tools in the setting of difference rings, we prove a two-parametric identity that relates rational approximations to $\zeta(4)$.
In this paper, we present new explicit simultaneous rational approximations converging sub-exponentially to the values of Bell polynomials at the points of the form $(\gamma, 1! (2a+1)\zeta(2), 2!\zeta(3),..., (m-1)!(a+1+(-1)^ma)\zeta(m)),$…
For each of the $15$ known sporadic Ap\'ery-like sequences, we prove congruences modulo $p^2$ that are natural extensions of the Lucas congruences modulo $p$. This extends a result of Gessel for the numbers used by Ap\'ery in his proof of…
Let $k\geq 1$ be a small fixed integer. The rational approximations $\left |p/q-\pi^{k} \right |>1/q^{\mu(\pi^k)}$ of the irrational number $\pi^{k}$ are bounded away from zero. A general result for the irrationality exponent $\mu(\pi^k)$…
We give a new proof of the identity $\zeta(\{2,1\}^l)=\zeta(\{3\}^l)$ of the multiple zeta values, where $l=1,2,\dots$, using generating functions of the underlying generalized polylogarithms. In the course of study we arrive at…
The Basel problem, solved by Leonhard Euler in 1734, asks to resolve $\zeta(2)$, the sum of the reciprocals of the squares of the natural numbers, i.e. the sum of the infinite series: \begin{equation}…
We prove the new upper bound 5.095412 for the irrationality exponent of $\zeta(2)=\pi^2/6$; the earlier record bound 5.441243 was established in 1996 by G. Rhin and C. Viola.
In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly…
In this article, we derive a Euler prime product formula for the magnitude of the Riemann zeta function $\zeta(s)$ valid for $\Re(s)>1$, as well as similar formulas for $\zeta(s)$ valid for an even and odd $k$th positive integer argument.…
We prove a conjecture due to Kimoto and Wakayama from 2006 concerning Apery-like numbers associated to a special value of a spectral zeta function. Our proof uses hypergeometric series and p-adic analysis.
We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…