Related papers: A note on Apery's constant is transcendental

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…

In 1982, Gessel showed that the Ap\'ery numbers associated to the irrationality of $\zeta(3)$ satisfy Lucas congruences. Our main result is to prove corresponding congruences for all sporadic Ap\'ery-like sequences. In several cases, we are…

Let $\frac{a_1}{b_1}, \frac{a_2}{b_2}, \ldots$ be the Farey fractions of order $n$. We then prove that the inequality $(a_l - a_k)(b_l - b_k) \ge 0$ holds for all $k$ and $l > k$ with $l-k \le \left(\frac{1}{12} - o(1) \right)n$, sharpening…

Using Parseval's identity for the Fourier coefficients of $x^k$, we provide a new proof that $\zeta(2k)=\dfrac{(-1)^{k+1}B_{2k}(2\pi)^{2k}}{2(2k)!}$.

Let q be an odd positive integer and P \in F2[z] be of order q and such that P(0) = 1. We denote by A = A(P) the unique set of positive integers satisfying \sum_{n=0}^\infty p(A, n) z^n \equiv P(z) (mod 2), where p(A,n) is the number of…

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…

We present a new lower bound for Euler's beta function, $B(x,y)$, which states that the inequality \begin{equation*} B(x,y)>\frac{x+y}{xy}\left(1-\frac{2xy}{x+y+1}\right) \end{equation*} holds on $(0,1]\times(0,1]$, which improves a lower…

The Ap\'ery numbers $A_n$ and central Delannoy numbers $D_n$ are defined by $$A_n=\sum_{k=0}^{n}{n+k\choose 2k}^2{2k\choose k}^2, \quad D_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}. $$ Motivated by some recent work of Z.-W. Sun, we prove…

The $1/3$-$2/3$ Conjecture, originally formulated in 1968, is one of the best-known open problems in the theory of posets, stating that the balance constant (a quantity determined by the linear extensions) of any non-total order is at least…

Let p_n denote the persistence probability that the first n iterated partial sums of integrable, zero-mean, i.i.d. random variables X_k, are negative. We show that p_n is bounded above up to universal constant by the square root of the…

An integer $n$ is said to be ternary if it is composed of three distinct odd primes. In this paper, we asymptotically count the number of ternary integers $n \leq x$ with the constituent primes satisfying various constraints. We apply our…

An application of (iterated) Bauer-Muir acceleration can give an Ap\'ery-like continued fraction for $\pi$ with irrational coefficients, and much faster convergence. It can be considered a generalized continued fraction with the same matrix…

In this paper, we prove two related central binomial series identities: $B(4)=\sum_{n \geq 0} \frac{\binom{2n}n}{2^{4n}(2n+1)^3}=\frac{7 \pi^3}{216}$ and $C(4)=\sum_{n \in \mathbb{N}} \frac{1}{n^4 \binom{2n}n}=\frac{17 \pi^4}{3240}.$ Both…

Let $\{p_n\}_{n\ge 1}$ be the sequence of primes and $\vartheta(x) = \sum_{p \leq x} \log p$, where $p$ runs over the primes not exceeding $x$, be the Chebyshev $\vartheta$-function. In this note we derive lower and upper bounds for…

We investigate the values of the Riemann zeta function at odd integers and the Dirichlet beta function at even integers, by collecting several distinct analytic frameworks converging to these values, thus providing a unifying perspective.…

We revisit Beukers' modular-form proof of the irrationality of $\zeta(3)$ from the point of view of the auxiliary weight two modular form. For the Fricke group $\Gamma_0(6)^\star$, we show that Beukers' choice is not isolated: it belongs to…

We use visible point vector identities to examine polylogarithms in the neighbourhood of the Riemann zeta function zeroes. New formulas limiting to the trivial zeroes and to the critical line on the zeta function are given. Similar results…

This article studies the singular values of entire functions of the form $E^k (z)+P(z)$ where $E^k$ denotes the $k-$times composition of $e^z$ with itself and $P$ is any non-constant polynomial. It is proved that the full preimage of each…

For real numbers $p,q>1$ we consider the following family of integrals: \begin{equation*} \int_{0}^{1}\frac{(x^{q-2}+1)\log\left(x^{mq}+1\right)}{x^q+1}{\rm d}x \quad \mbox{and}\quad…

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