Related papers: Irrationality Exponents For Even Zeta Constants

In this shortnote, a series expansion technique introduced recently by Dancs and He for generating Euler-type formulae for odd zeta values $\:\zeta{(2 k +1)}$, $\zeta{(s)}$ being the Riemann zeta function and $k$ a positive integer, is…

It is commonly known that $\zeta(2k) = q_{k}\frac{\zeta(2k + 2)}{\pi^2}$ with known rational numbers $q_{k}$. In this work we construct recurrence relations of the form $\sum_{k = 1}^{\infty}r_{k}\frac{\zeta(2k + 1)}{\pi^{2k}} = 0$ and show…

The first estimate of the upper bound $\mu(\pi)\leq42$ of the irrationality measure of the number $\pi$ was computed by Mahler in 1953, and more recently it was reduced to $\mu(\pi)\leq7.6063$ by Salikhov in 2008. Here, it is shown that…

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…

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 paper, we focus on a q-analogue of the Riemann zeta function at positive integers, which can be written for s\in\N^* by \zeta_q(s)=\sum_{k\geq 1}q^k\sum_{d|k}d^{s-1}. We give a new lower bound for the dimension of the vector space…

For any prime $p$ and $\varepsilon>0$ we prove that for any sufficiently large positive odd integer $s$ at least $(c_p-\varepsilon) \sqrt{\frac{s}{\log s}}$ of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\dots,\zeta_p(s)$ are…

For an irrational number $\alpha\in\mathbb{R}$ we consider its irrationality measure function $$ \psi_\alpha(x) = \min_{1\le q\le x,\, q\in\mathbb{Z}} \| q\alpha \|. $$ It is known for all irrational numbers $\alpha$ and $\beta$ satisfying…

We give a proof of the irrationality of the $p$-adic zeta-values $\zeta_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an…

Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, certain…

We use a variant of Salikhov's ingenious proof that the irrationality measure of $\pi$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully…

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 work, we prove the irrationality of $\pi$ based on the nested radicals with roots of $2$ of kind $c_k = \sqrt{2 + c_{k - 1}}$ and $c_0 = 0$. Sample computations showing how the rational approximation tends to $\pi$ with increasing…

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…

A folklore proof of Euclid's theorem on the infinitude of primes uses the Euler product and the irrationality of $\zeta(2) = \pi^2/6$. A quantified form of Euclid's Theorem is Bertrand's postulate $p_{n+1} < 2p_n$. By quantifying the…

In $1735$ Euler \cite{1} proved that for each positive integer $k$, the series $\zeta(2k) = \sum_{\ell=1}^{\infty} \ell^{-2k}$ converges to a rational multiple of $\pi^{2k}$. Many demonstrations of this fact are now known, and Euler's…

The existence of infinitely many consecutive prime triples $p_n$, $ p_{n+1}$, and $p_{n+2}$ as $n \to \infty$, is sufficient to prove that the Catalan constant $\beta(2)=0.9159655941\ldots $ is an irrational number. This note provides the…

We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).

We present several results on the number of irrational and linear independent values among $\zeta(s),\zeta(s+2),...,\zeta(s+2n)$, where $s>2$ is an odd integer and $n>0$ is an integer. The main tool in our proofs is a certain generalization…

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…