A probabilistic proof of Wallis's formula for pi

Steven J. Miller

DOI: https://doi.org/10.48550/arXiv.0709.2181

2008-06-25

Abstract:Using mostly elementary results and functions from probability, we prove Wallis's formula for pi: pi/2 = prod_n (2n * 2n) / ((2n-1) * (2n+1)). The proof involves normalization constants and the Gamma function, Standard normal, and the Student t-Distribution.

Number Theory,Probability

What problem does this paper attempt to address?

Probability Proofs for Stirling (and More): the Ubiquitous Role of $\mathbf{\sqrt{2π}}$

Nils Lid Hjort,Emil Aas Stoltenberg

2024-10-25

Abstract:The Stirling approximation formula for $n!$ dates from 1730. Here we give new and instructive proofs of this and related approximation formulae via tools of probability and statistics. There are connections to the Central Limit Theorem and also to approximations of marginal distributions in Bayesian setups. Certain formulae emerge by working through particular instances, some independently verifiable but others perhaps not. A particular case yielding new formulae is that of summing independent uniforms, related to the Irwin--Hall distribution. Yet further proofs of the Stirling flow from examining aspects of limiting normality of the sample median of uniforms, and from these again we find a proof for the Wallis product formula for $\pi$.

Probability,Statistics Theory,Other Statistics
An Elementary Proof of Stirling's Formula

Jakub Smolík

2023-10-08

Abstract:Stirling's formula is a powerful asymptotic approximation of the factorial function. Many well-known proofs of this formula are grounded in integral calculus. In this paper, we present an alternative proof of Stirling's formula using only limits and the Wallis product.

Combinatorics
A Proof of Ramanujan's Classic $π$ Formula

Thang Pang Ern,Devandhira Wijaya Wangsa

2024-11-24

Abstract:In 1914, Ramanujan presented a collection of 17 elegant and rapidly converging formulae for $\pi$. Among these, one of the most celebrated is the following series: \[\frac{1}{\pi}=\frac{2\sqrt{2}}{9801}\sum_{n=0}^{\infty}\frac{26390n+1103}{\left(n!\right)^4}\cdot \frac{\left(4n\right)!}{396^{4n}}\] In this paper, we give a proof of this classic formula using hypergeometric series and a special type of lattice sum due to Zucker and Robertson. In turn, we will also use some results by Dirichlet in Algebraic Number Theory.

Number Theory
A WZ proof of Ramanujan's Formula for Pi

Shalosh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.math/9306213

1993-06-04

Abstract:Ramanujan's series for Pi, that appeared in his famous letter to Hardy, is given a one-line WZ proof.

Combinatorics
A well-motivated proof that pi is irrational

Timothy Y. Chow

2024-03-29

Abstract:Ivan Niven's succinct proof that pi is irrational is easy to verify, but it begins with a magical formula that appears to come out of nowhere, and whose origin remains mysterious even after one goes through the proof. The goal of this expository paper is to describe a thought process by which a mathematician might come up with the proof from scratch, without having to be a genius. Compared to previous expositions of Niven's proof, perhaps the main novelty in the present account is an explicit appeal to the theory of orthogonal polynomials, which leads naturally to the consideration of certain integrals whose relevance is otherwise not immediately obvious.

Number Theory
A hypergeometric proof for a binomial identity related to $1/π$

Benjamin Hackl,Helmut Prodinger

DOI: https://doi.org/10.48550/arXiv.1907.08680

2019-07-18

Abstract:We show that a binomial identity arising in the context of the study of series expansions of $1/\pi$ can be seen as an incarnation of Whipples second theorem for hypergeometric series.

Number Theory
Easy Proofs of Some Borwein Algorithms for $π$

Jesus Guillera

DOI: https://doi.org/10.48550/arXiv.0803.0991

2008-03-07

Abstract:In 1987 Jonathan and Peter Borwein, inspired by the works of Ramanujan, derived many efficient algorithms for computing $\pi$. We will see that by using only a formula of Gauss's and elementary algebra we are able to prove the correctness of two of them.

Number Theory,Classical Analysis and ODEs
Proofs of power sum and binomial coefficient congruences via Pascal's identity

Kieren MacMillan,Jonathan Sondow

DOI: https://doi.org/10.48550/arXiv.1011.0076

2010-10-30

Abstract:A frequently cited theorem says that for n > 0 and prime p, the sum of the first p n-th powers is congruent to -1 modulo p if p-1 divides n, and to 0 otherwise. We survey the main ingredients in several known proofs. Then we give an elementary proof, using an identity for power sums proven by Pascal in 1654. An application is a simple proof of a congruence for certain sums of binomial coefficients, due to Hermite and Bachmann.

Number Theory,History and Overview
The fastest series for $1/π$ due to Ramanujan. Proofs from modular polynomials

Jesús Guillera

2024-08-26

Abstract:First we give general formulas for proving real or complex Ramanujan series for $1/\pi$. Then, as an example, we apply them for providing complete proofs of the fastest series for $1/\pi$ due to Ramanujan using Russell and Weber modular polynomials. We recommend the reader to use a Maple program which is in the web of the author for automatically proving any Ramanujan-type series for $1/\pi$.

Number Theory
On Proving Ramanujan's Inequality using a Sharper Bound for the Prime Counting Function $π(x)$

Subham De

2024-08-29

Abstract:This article provides a proof that the Ramanujan's Inequality given by, $$\pi(x)^2 < \frac{e x}{\log x} \pi\Big(\frac{x}{e}\Big)$$ holds unconditionally for every $x\geq \exp(43.5102147)$. In case for an alternate proof of the result stated above, we shall exploit certain estimates involving the Chebyshev Theta Function, $\vartheta(x)$ in order to derive appropriate bounds for $\pi(x)$, which'll lead us to a much improved condition for the inequality proposed by Ramanujan to satisfy unconditionally.

Number Theory
Formulas for odd zeta values and powers of $π$

Marc Chamberland,Patrick Lopatto

2024-06-04

Abstract:Plouffe conjectured rapidly converging series formulas for $\pi^{2n+1}$ and $\zeta (2n+1)$ for small values of $n$. We find the general pattern for all nonnegative integer values of $n$ and offer a proof.

Number Theory
Primes, Pi, and Irrationality Measure

Jonathan Sondow

DOI: https://doi.org/10.48550/arXiv.0710.1862

2007-10-09

Number Theory

Abstract: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 folklore proof using an irrationality measure for $6/\pi^2$, we give a proof (communicated to Paulo Ribenboim in 2005) of a much weaker upper bound on $p_{n+1}$.
A Proof of "Goldbach's Conjecture"

Roger Ellman

DOI: https://doi.org/10.48550/arXiv.math/0005185

2001-01-27

Abstract:"Goldbach's Conjecture" proven by analysis of how all combinations of the odd primes, summed in pairs, generates all of the even numbers.

General Mathematics
A Wallis Product on Clovers

Trevor Hyde

DOI: https://doi.org/10.48550/arXiv.1212.4178

2012-12-18

Abstract:We prove a generalization of the Wallis product for a sequence of real numbers related to arc lengths of clover curves. Our proof generalizes a common argument given for the original Wallis product using a sequence of definite integrals.

Number Theory
A probabilistic proof of some integral formulas involving incomplete gamma functions

Robert E. Gaunt

2024-05-28

Abstract:The theory of normal variance mixture distributions is used to provide elementary derivations of closed-form expressions for the definite integrals $\int_0^\infty x^{-2\nu}\cos(bx)\gamma(\nu,\alpha x^2)\,\mathrm{d}x$ (for $\nu>1/2$, $b>0$ $\alpha>0$) and $\int_0^\infty x^{2\nu-1}\cos(bx)\Gamma(-\nu,\alpha x^2)\,\mathrm{d}x$ (for $\nu>0$, $b>0$ $\alpha>0$), where $\gamma(a,x)$ and $\Gamma(a,x)$ are the lower and upper incomplete gamma functions, respectively. The method of proof is of independent interest and could be used to derive further new definite integral formulas.

Probability
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem

Grzegorz Herman,Michael Soltys

DOI: https://doi.org/10.48550/arXiv.0811.3959

2008-11-24

Computational Complexity

Abstract:Although a deterministic polytime algorithm for primality testing is now known, the Rabin-Miller randomized test of primality continues being the most efficient and widely used algorithm. We prove the correctness of the Rabin-Miller algorithm in the theory V1 for polynomial time reasoning, from Fermat's little theorem. This is interesting because the Rabin-Miller algorithm is a polytime randomized algorithm, which runs in the class RP (i.e., the class of polytime Monte-Carlo algorithms), with a sampling space exponential in the length of the binary encoding of the input number. (The class RP contains polytime P.) However, we show how to express the correctness in the language of V1, and we also show that we can prove the formula expressing correctness with polytime reasoning from Fermat's Little theorem, which is generally expected to be independent of V1. Our proof is also conceptually very basic in the sense that we use the extended Euclid's algorithm, for computing greatest common divisors, as the main workhorse of the proof. For example, we make do without proving the Chinese Reminder theorem, which is used in the standard proofs.
Combinatorics on Number Walls and the $p(t)$-adic Littlewood Conjecture

Steven Robertson

2024-04-25

Abstract:For any prime $p$ and real number and $\alpha$, the $p$-adic Littlewood Conjecture due to de Mathan and Teulié asserts that \[\inf_{|m|\ge1}|m|_p\cdot |m|\cdot |\left\langle\alpha m\right\rangle|=0.\] Above, $|m|$ is the usual absolute value, $|m|_p$ is the $p$-adic norm and $\left|\left\langle x\right\rangle\right|$ is the distance from $x\in\mathbb{R}$ to the nearest integer. Let $\mathbb{K}$ be a field and $p(t)\in\mathbb{K}[t]$ be an irreducible polynomial. This paper deals with the analogue of this conjecture over the field of formal Laurent series over $\mathbb{K}$, known as the $p(t)$-adic Littlewood Conjecture ($p(t)$-LC). The following results are established: (1) Any counterexample to $p(t)$-LC for the case $p(t)=t$ generates a counterexample when $p(t)$ is any irreducible polynomial. Since Adiceam, Nesharim and Lunnon proved the $p(t)$-LC is false when $p(t)=t$ and $\mathbb{K}$ has characteristic three, one obtains a disproof of the $p(t)$-LC over any such field for any choice of irreducible polynomial $p(t)$. (2) A Khintchine-type theorem for $p(t)$-adic multiplicative approximation is established, enabling one to determine the measure of the set of counterexamples to $p(t)$-LC with an additional monotonic growth function. (3) The Hausdorff dimension of the same set is shown to be maximal when $p(t)=t$ in the critical case where the growth function is $\log^2$. These goals are achieved by developing an extensive theory in combinatorics relating $p(t)$-LC to the properties of the so-called number wall of a sequence. This is an infinite array containing the determinant of every finite Toeplitz matrix generated by that sequence. The main novelty of this paper is creating a dictionary allowing one to transfer statements in Diophantine approximation in positive characteristic to combinatorics through the concept of a number wall, and conversely.

Number Theory
Irrationality measure and lower bounds for pi(x)

David Burt,Sam Donow,Steven J. Miller,Matthew Schiffman,Ben Wieland

DOI: https://doi.org/10.48550/arXiv.0709.2184

2007-09-13

Number Theory

Abstract: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 obtain good lower bounds for $\pi(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more elementary and yield a lower bound of order $x/\log x$ as a natural boundary.
On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function

Subham De

2024-08-13

Abstract:This research article provides an unconditional proof of an inequality proposed by Srinivasa Ramanujan involving the Prime Counting Function $\pi(x)$, \begin{align*} (\pi(x))^{2}<\frac{ex}{\log x}\pi\left(\frac{x}{e}\right) \end{align*} for every real $x\geq \exp(547)$, using specific order estimates for the Mertens Function, $M(x)$. The proof primarily hinges upon investigating the underlying relation between $M(x)$ and the Second Chebyshev Function, $\psi(x)$, in addition to applying the meromorphic properties of the Riemann Zeta Function, $\zeta(s)$ with an intention of deriving an improved approximation for $\pi(x)$.

General Mathematics
Approximation and bounds for the Wallis ratio

Xu You

DOI: https://doi.org/10.48550/arXiv.1712.02107

2017-12-06

Abstract:In this paper, we present an improved continued fraction approximation of the Wallis ratio. This approximation is fast in comparison with the recently discovered asymptotic series. We also establish the double-side inequality related to this approximation. Finally, some numerical computations are provided for demonstrating the superiority of our approximation.

Classical Analysis and ODEs

A probabilistic proof of Wallis's formula for pi

Probability Proofs for Stirling (and More): the Ubiquitous Role of $\mathbf{\sqrt{2π}}$

An Elementary Proof of Stirling's Formula

A Proof of Ramanujan's Classic $π$ Formula

A WZ proof of Ramanujan's Formula for Pi

A well-motivated proof that pi is irrational

A hypergeometric proof for a binomial identity related to $1/π$

Easy Proofs of Some Borwein Algorithms for $π$

Proofs of power sum and binomial coefficient congruences via Pascal's identity

The fastest series for $1/π$ due to Ramanujan. Proofs from modular polynomials

On Proving Ramanujan's Inequality using a Sharper Bound for the Prime Counting Function $π(x)$

Formulas for odd zeta values and powers of $π$

Primes, Pi, and Irrationality Measure

A Proof of "Goldbach's Conjecture"

A Wallis Product on Clovers

A probabilistic proof of some integral formulas involving incomplete gamma functions

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem

Combinatorics on Number Walls and the $p(t)$-adic Littlewood Conjecture

Irrationality measure and lower bounds for pi(x)

On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function

Approximation and bounds for the Wallis ratio