Related papers: An elementary proof of Apery's theorem
Roger Apery's seminal method for proving irrationality is "turned on its head" and taught to computers, enabling a one second redux of the original proof of zeta(3), and many new irrationality proofs of many new constants, alas, none of…
New (infinitely many) rational approximants to \zeta(3) proving its irrationality are given. The recurrence relations for the numerator and denominator of these approximants as well as their continued fraction expansions are obtained. A…
In 1978, Apery has given sequences of rational approximations to $\zeta(2)$ and $\zeta(3)$ yielding the irrationality of each of these numbers. One of the key ingredient of Apery's proof are second-order difference equations with polynomial…
An important component of Ap\'ery's proof that $\zeta (3)$ is irrational involves representing $\zeta (3)$ as the limit of the quotient of two rational solutions to a three-term recurrence. We present various approaches to such Ap\'ery…
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 note we evaluate multiple integrals that play a crucial role in the theory of irrationality of zeta function
This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Ap\'ery's Theorem…
In this note, I develop step-by-step proofs of irrationality for $\,\zeta{(2)}\,$ and $\,\zeta{(3)}$. Though the proofs follow closely those based upon unit-square integrals proposed originally by Beukers, I introduce some modifications…
This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have…
We present an elementary proof of the irrationality of $\zeta(5)$ based upon the Dirichlet's approximation theorem and the Prime Number Theorem.
A general hypergeometric construction of linear forms in (odd) zeta values is presented. The construction allows to recover the records of Rhin and Viola for the irrationality measures of $\zeta(2)$ and $\zeta(3)$, as well as to explain…
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…
It is known that the numbers which occur in Apery's proof of the irrationality of zeta(2) have many interesting congruence properties while the associated generating function satisfies a second order differential equation. We prove…
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.
Available proofs of result of the type 'at least one of the odd zeta values $\zeta(5),\zeta(7),\dots,\zeta(s)$ is irrational' make use of the saddle-point method or of linear independence criteria, or both. These two remarkable techniques…
In a spirit of Ap\'ery's proof of the irrationality of $\zeta(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $\zeta_2(5)$ which satisfy $0 < |\zeta_2(5)-p_n/q_n|_2 <…
Recently Shekhar Suman [arXiv: 2407.07121v6 [math.GM] 3 Aug 2024] made an attempt to prove the irrationality of $\zeta(5)$. But unfortunately the proof is not correct. In this note, we discuss the fallacy in the proof.
This monograph is intended to be considered as my habilitation (D.Sc.) thesis; because of that and as everything has already appeared in English, it is performed exclusively in Russian. The monograph comprises a detailed introduction and…
We show how one can use Hermite-Pad\'{e} approximation and little $q$-Jacobi polynomials to construct rational approximants for $\zeta_q(2)$. These numbers are $q$-analogues of the well known $\zeta(2)$. Here $q=\frac{1}{p}$, with $p$ an…
There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real…