Related papers: Criteria for Irrationality of Euler's Constant

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 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 extend the results of our previous computer experiment performed on the first 2600 nontrivial zeros $\gamma_l$ of the Riemann zeta function calculated with 1000 digits accuracy to the set of 40000 first zeros given with 40000 decimal…

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…

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…

In this paper new series for the first and second Stieltjes constants (also known as generalized Euler's constant), as well as for some closely related constants are obtained. These series contain rational terms only and involve the…

We obtain two sequences of rational numbers which converge to the Euler-Gompertz constant. Denote by <f(x)> the integral of f(x)e^{-x} from 0 to infinity. Recall that the Euler-Gompertz constant \delta is <ln(x+1)>. Main idea. Let P_n(x) be…

Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality sum_{d|n}d<e^{gamma}n loglog n is satisfied for n>=5041, where gamma denotes the Euler(-Mascheroni) constant. We show by elementary methods…

Corollary 2, Entry 9, Chapter 4 of Ramanujan's first notebook claims that a certain sum is asymptotic to ln(x) + gamma, where x is a real variable in the sum and gamma is Euler's constant. Ramanujan's claim is known to be correct for the…

In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality $\sigma(n)<e^\gamma n\log\log n$ holds for every integer $n>5040$, where $\sigma(n)$ is the sum of divisors function, and $\gamma$ is the…

This paper has two parts. The first part surveys Euler's work on the constant gamma=0.57721... bearing his name, together with some of his related work on the gamma function, values of the zeta function and divergent series. The second part…

Robin's criterion states that the Riemann hypothesis is equivalent to $\sigma(n) < e^\gamma n \log\log n$ for all integers $n \geq 5041$, where $\sigma(n)$ is the sum of divisors of $n$ and $\gamma$ is the Euler-Mascheroni constant. We…

Let $d(n)$ be the number of divisors of $n$, let $$ \Delta(x) := \sum_{n\le x}d(n) - x(\log x + 2\gamma -1) $$ denote the error term in the classical Dirichlet divisor problem, and let $\zeta(s)$ denote the Riemann zeta-function. Several…

In this paper we refine Ball-Rivoal's theorem by proving that for any odd integer $a$ sufficiently large in terms of $\epsilon>0$, there exist $[ \frac{(1-\epsilon)\log a}{1+\log 2}]$ odd integers $s$ between 3 and $a$, with distance at…

We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A…

In an interesting article entitled "A curious formula related to the Euler Gamma function", Bakir Farhi posed the open question of whether it was possible to obtain an expression of $$…

Let $\zeta_2(\cdot)$ be the Kubota-Leopoldt $2$-adic zeta function. We prove that, for every nonnegative integer $s$, there exists an odd integer $j$ in the interval $[s+3,3s+5]$ such that $\zeta_2(j)$ is irrational. In particular, at least…

We prove that the rational Euler characteristic of $\operatorname{Out}(F_n)$ is always negative and its asymptotic growth rate is $\Gamma(n- \frac32)/\sqrt{2\pi} \log^2 n$. This settles a 1987 conjecture of J. Smillie and the second author.…

We give analogs for Euler's constant and ln(4/Pi) of the well-known double integrals for zeta(2) and zeta(3). We also give a series for ln(4/Pi) which reveals it to be an "alternating Euler constant."

In this note, we prove the irrationality of $\zeta(5)$ and generalize the method to prove the irrationality of all higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of a system of Linear…