Related papers: Irrationality measure and lower bounds for pi(x)

The recent technique for estimating lower bounds of the prime counting function $\pi(x)=#\{p \leq x: p\text{ prime}\}$ by means of the irrationality measures $\mu(\zeta(s)) \geq 2$ of special values of the zeta function claims that $\pi(x)…

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…

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…

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.

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…

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 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…

The proof of the irrationality of Zeta(5) is a long standing open problem, but here only the case of Zeta(4) = (Pi^4)/90 is considered. The present paper suggests an approach for the irrationality of Zeta(4) along the lines of those known…

For real $\xi$ we consider the irrationality measure function $\psi_\xi(t) = \min_{1\leqslant q \leqslant t, q\in\mathbb{Z}} || q\xi ||$, where $||\cdot||$ - distance to the nearest integer. We prove that in the case…

The irrationality exponent $\mu(t)$ of an irrational number t, defined using the irrationality measure $1/q^\mu$, distinguishes among non-Liouville numbers and is infinite for Liouville numbers. Using the irrationality measure $1/\beta^q$,…

We present a brief survey of the methods used in deducing upper estimates for irrationality measures of the logarithm values. We particularly expose the best known estimates for $\log2$ (due to E. Rukhadze), $\pi$ (due to M. Hata) and…

For real $\xi$ we consider irrationality measure function $\psi_\xi (t) = \min_{1\le q \le t, \, q\in \mathbb{Z}} ||q\xi||$. We prove that in the case $\alpha \pm \beta \not\in \mathbb{Z}$ there exist arbitrary large values of $t$ with…

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…

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 <…

A simple geometric construction on the moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points is described which gives a common framework for many irrationality proofs for zeta values. This construction…

For different values of $\gamma \geq 0$, analysis of the end behavior of the sequence $a_n = \cos (n)^{n^\gamma}$ yields a strong connection to the irrationality measure of $\pi$. We show that if $\limsup |\cos n|^{n^2} \neq 1$, then the…

This note proves that the first odd zeta value does not have a closed form formula $\zeta(3)\ne r \pi^3$ for any rational number $r \in \mathbb{Q}$. Furthermore, assuming the irrationality of the second odd zeta value $\zeta(5)$, it is…

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…

We point out that the proof of irrationality of $\pi$ by Niven can be modified to a proof by contraposition. As a warm-up, we also give a proof of irrationality of $\sqrt{2}$ and $\sqrt{3}$ in a similar way.

A general technique for proving the irrationality of the zeta constants $\zeta(s)$ for odd $s = 2n + 1 \geq 3$ from the known irrationality of the beta constants $L(2n+1)$ is developed in this note. The results on the irrationality of the…