Related papers: A rapidly converging Ramanujan-type series for Cat…
We prove that the constant terms of powers of a Laurent polynomial satisfy certain congruences modulo prime powers. As a corollary, the generating series of these numbers considered as a function of a p-adic variable satisfies a non-trivial…
The known WZ-proofs for Ramanujan-type series related to $1/\pi$ gave us the insight to develop a new proof strategy based on the WZ-method. Using this approach we are able to find more generalizations and discover first WZ-proofs for…
The Euler product for the Landau--Ramanujan constant could have motivated a curious identity by Ramanujan that appears in his notebooks two times. This observation involves a square root and the first four prime numbers of the form $4n+3$,…
Inspired by a famous formula of Ramanujan for odd zeta values, we prove an analogous formula involving the Hurwitz zeta function. We introduce a new integral kernel related to the Hurwitz zeta function, generalizing the integral kernel…
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:…
For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We…
Easily computable lower and upper bounds are found for the sum of Catalan numbers. The lower bound is proven to be tighter than the upper bound, which previously was declared to be only an asymptotic. The average of these bounds is proven…
Through an application of a remarkable result due to Mishev in 2018 concerning the inverses for a class of transformations of sequences of complex numbers, we obtain a very simple proof for a famous series for $\frac{1}{\pi}$ due to…
A Ramanujan-type formula involving the squares of odd zeta values is obtained. The crucial part in obtaining such a result is to conceive the correct analogue of the Eisenstein series involved in Ramanujan's formula for $\zeta(2m+1)$. The…
We record $$ \binom{42}2+\binom{23}2+\binom{13}2=1192 $$ functional identities that, apart from being amazingly amusing by themselves, find applications in derivation of Ramanujan-type formulas for $1/\pi$ and in computation of mathematical…
About 40 years ago Jonathan and Peter Borwein discovered the series identity $$ \sum_{n=0}^\infty \frac{(-1)^n(6n)!}{(3n)!(n!)^3} \frac{(A+nB)}{C^{n+1/2}} = \frac{1}{12\pi} $$ where \begin{align*} A&=1657145277365+212175710912\sqrt{61},\cr…
A new class of alternating convolutions concerning binomial coefficients and Catalan numbers are evaluated in closed forms.
Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by Raayoni et al. (arXiv:1907.00205), we (automatically) [rigorously] prove some of their conjectures regarding the exact values of some specific infinite continued…
Let $p>5$ be a prime. Motivated by the known formulae $\sum_{k=1}^\infty(-1)^k/(k^3\binom{2k}{k})=-2\zeta(3)/5$ and $\sum_{k=0}^\infty \binom{2k}{k}^2/((2k+1)16^k)=4G/\pi$$ (where $G=\sum_{k=0}^\infty(-1)^k/(2k+1)^2$ is the Catalan…
A generalization of the Catalan numbers is considered. New results include binomial identities, recursive relations and a close formula for the multivariate generating function. A simple expression for the Catalan determinant is derived.
The Ramanujan conjecture for modular forms of holomorphic type was proved by Deligne almost half a century ago: the proof, based on his earlier proof of Weil's conjectures, was an achievement of algebraic geometry. We give here a short…
In this paper, we simplify and improve the constant, $c$, that appears in effective irrationality measures, $|(a/b)^{m/n}-p/q|>c|q|^{-(\kappa+1)}$, obtained from the hypergeometric method for $a/b$ near $1$. The dependence of $c$ on $|a|$…
In this note, I develop step-by-step proofs of irrationality for $\,\zeta{(2)}\,$ and $\,\zeta{(3)}$. Though the proofs follow closely those based upon unit-square integrals proposed originally by Beukers, I introduce some modifications…
We prove a Ramanujan-type formula for $520/\pi$ conjectured by Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and…
In this article we derive an approximation inequality for continued radicals, generalizing an inequality of Herschfeld for continued square roots to arbitrary radicals, which is useful in exploring convergence issues and obtaining…