Related papers: On proving an Inequality of Ramanujan using Explic…
We prove a polynomial continued fraction identity for the constant $-\pi/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a…
We consider methods for finding high-precision approximations to simple zeros of smooth functions. As an application, we give fast methods for evaluating the elementary functions log(x), exp(x), sin(x) etc. to high precision. For example,…
For each $n\geq 1$, we express the partition function $p(n)$ as a CM trace on $X_0(6)$ of the discriminant $\Delta_n:=1-24n$ invariants of a weight 0 weak Maass function $P$ that records where CM elliptic curves sit on $X(1)$, together with…
Re presenting the traditional proof of Srinivasa Ramanujan's own favorite series for the reciprocal of $\pi$ :\begin{equation}\frac{1}{\pi} = \frac{\sqrt{8}}{9801} \sum_{n=0}^{+\infty} \frac{(4n)!}{(n!)^4} \frac{1103 + 26390n}{396^{4n}} \;…
In this article, we derive a Euler prime product formula for the magnitude of the Riemann zeta function $\zeta(s)$ valid for $\Re(s)>1$, as well as similar formulas for $\zeta(s)$ valid for an even and odd $k$th positive integer argument.…
The arithmetic properties of the ordinary partition function $p(n)$ have been the topic of intensive study for the past century. Ramanujan proved that there are linear congruences of the form $p(\ell n+\beta)\equiv 0\pmod\ell$ for the…
V. Fock [7] introduced an interesting function $\psi(x)$, $x \in {\mathbb R}$ related to Markov numbers. We explain its relation to Federer-Gromov's stable norm and Mather's $\beta$-function, and use this to study its properties. We prove…
The function $\sum_{p\leq x} \frac{1}{p} - \log\log(x) - M$ is known to change sign infinitely often, but so far all calculated values are positive. In this paper we prove that the first sign change occurs well before $\exp(495.702833165)$.
It is well known that $li(x)>\pi(x)$ (i) up to the (very large) Skewes' number $x_1 \sim 1.40 \times 10^{316}$ \cite{Bays00}. But, according to a Littlewood's theorem, there exist infinitely many $x$ that violate the inequality, due to the…
We show that, for the M\"obius function $\mu(n)$, we have $$ \sum_{x < n\leq x+x^{\theta}}\mu(n)=o(x^{\theta}) $$ for any $\theta>0.55$. This improves on a result of Ramachandra from 1976, which is valid for $\theta>7/12$. Ramachandra's…
We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit…
Lehmer defined a measure $$ \mu=\sum\limits_{j=1}^J\frac{1}{\log_{10}\left(\left|\beta_j\right|\right)}, $$ where the $\beta_j$ may be either integers or rational numbers in a Machin-like formula for $\pi$. When the $\beta_j$ are integers,…
We prove a remarkable formula of Ramanujan for the logarithmic derivative of the gamma function, which converges more rapidly than classical expansions, and which is stated without proof in Ramanujan's notebooks. The formula has a number of…
In this paper, we discuss an alternative approach to determine an asymptotic equivalent of the partial sum of the reciprocals of prime numbers. This well-known result, related to Merten's second theorem, is usually derived through methods…
The Riemann zeta-function $\zeta(s)$ is a meromorphic complex-valued function of the complex variable $s$ with the unique pole at $s=1$. It plays a central role in the studies of prime numbers. The upper bound in the critical strip $0\le…
We study the interplay between recurrences for zeta related functions at integer values, `Minor Corner Lattice' Toeplitz determinants and integer composition based sums. Our investigations touch on functional identities due to Ramanujan and…
Given an arithmetic function $g(n)$ write $M_g(x) := \sum_{n \leq x} g(n)$. We extend and strengthen the results of a fundamental paper of Hal\'{a}sz in several ways by proving upper bounds for the ratio of $\frac{|M_g(x)|}{M_{|g|}(x)}$,…
The Paul Erd\H{o}s-Tur\'an inequality is used as a quantitative form of Weyl' s criterion, together with other criteria to asses equidistribution properties on some patterns of sequences that arise from indexation of prime numbers, Jumping…
We present a smooth version of Landaus explicit formula for the von Mangoldt arithmetical function. Assuming the validity of the Riemann hypothesis, we show that in order to determine whether a natural number is a prime number, it is…
Let $x\ge 2$. The $\psi$-form of the prime number theorem is $\psi(x) =\sum\sb{n \le x}\Lambda(n) =x +O\bigl(x\sp{1-H(x)} \log\sp{2} x\big)$, where $H(x)$ is a certain function of $x$ with $0< H(x) \le \tfrac{1}{2}$. Tur\'an proved in 1950…