相关论文: Irrationality Measure of Pi

The note provides a simple proof of the irrationality measure $\mu(\pi^2)=2$ of the real number $\pi^2$. The current estimate gives the upper bound $\mu(\pi^2)\leq 5.0954 \ldots$.

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…

In this note we show how the irrationality measure of $\zeta(s) = \pi^2/6$ can be used to obtain explicit lower bounds for $\pi(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to…

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…

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…

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

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…

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

In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the…

We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers…

It is unknown whether the Flint-Hills series $\sum_{n=1}^\infty \frac{1}{n^3\sin^2(n)}$ converges. Alekseyev (2011) connected this question to the irrationality measure of $\pi$, that $\mu(\pi) > \frac{5}{2}$ would imply divergence of the…

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

As rewards of reading two great papers of Hermite from 1873, we trace the historical origin of the integral Niven used in his well-known proof of the irrationality of $\pi$, uncover a rarely acknowledged simple proof by Hermite of the…

We provide a non-trivial measure of irrationality for a class of Mahler numbers defined with infinite products which cover the Thue-Morse constant.

The ratio of the circumference, C, of a circle to its diameter, D, is a constant number denoted by $\pi$ and is independent of the size of the circle. It is known that $\pi$ is an irrational number and therefore cannot be expressed as a…

For an irrational number $\alpha\in\mathbb{R}$ we consider its irrationality measure function $$ \psi_\alpha(t) = \min_{1\le q\le t,\, q\in\mathbb{Z}} \| q\alpha \|. $$ Let $\boldsymbol{\alpha} = (\alpha_1, \dots, \alpha_n)$ be $n$-tuple of…