English
Related papers

Related papers: On proving an Inequality of Ramanujan using Explic…

200 papers

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…

General Mathematics · Mathematics 2026-04-08 Chao Wang

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

Numerical Analysis · Computer Science 2010-06-01 Richard P. Brent

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…

Number Theory · Mathematics 2025-09-05 Ken Ono

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}} \;…

Number Theory · Mathematics 2021-04-27 Chieh-Lei Wong

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

General Mathematics · Mathematics 2019-10-18 Artur Kawalec

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…

Number Theory · Mathematics 2022-12-06 Scott Ahlgren , Olivia Beckwith , Martin Raum

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…

Dynamical Systems · Mathematics 2017-11-20 Alfonso Sorrentino , Alexander P. Veselov

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

Number Theory · Mathematics 2015-11-09 Jan Büthe

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…

Number Theory · Mathematics 2013-03-20 Adel Alamadhi , Michel Planat , Patrick Solé

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…

Number Theory · Mathematics 2023-08-24 Kaisa Matomäki , Joni Teräväinen

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…

History and Overview · Mathematics 2007-05-23 Mark B. Villarino

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

General Mathematics · Mathematics 2021-06-10 Sanjar M. Abrarov , Rehan Siddiqui , Rajinder K. Jagpal , Brendan M. Quine

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…

Classical Analysis and ODEs · Mathematics 2007-06-13 David M. Bradley

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…

Number Theory · Mathematics 2025-11-05 Jean-Christophe Pain

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…

General Mathematics · Mathematics 2021-06-16 Yuanyou Cheng

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…

Number Theory · Mathematics 2012-04-25 Matthew C. Lettington

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

Number Theory · Mathematics 2016-04-19 Alexander P. Mangerel

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…

General Mathematics · Mathematics 2023-06-02 Arturo Ortiz-Tapia

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…

Number Theory · Mathematics 2023-11-09 Eugenio P. Balanzario , Daniel Eduardo Cardenas Romero , Richar Chacon Serna

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…

General Mathematics · Mathematics 2021-06-08 Yuanyou Cheng , Glenn Fox , Mehdi Hassani