Related papers: An elementary proof of the irrationality of Tschak…

We study the series $\sum_{n=0}^{\infty}\frac{(-1)^n}{n!}t^nf^{(n)}(t)$. We show that for analytic functions this series is uniformly and absolutely convergent to the constant $f(0)$. We show that there are nowhere analytic functions for…

We obtain a new $q$-analogue of the classical Leibniz series $\sum_{k=0}^\infty(-1)^k/(2k+1)=\pi/4$, namely \begin{equation*}…

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…

In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly…

We answer a number of questions relating to the pseudo-Smarandache function Z(n). We show that the ratio of consecutive values $Z(n+1)/Z(n)$ and $Z(n-1)/Z(n)$ are unbounded; that $Z(2n)/Z(n)$ is unbounded; that $n/Z(n)$ takes every integer…

We prove the conjecture of Kac-Wakimoto on the rationality of exceptional W-algebras for the first non-trivial series, namely, for the Bershadsky-Polyakov vertex algebras $W_3^{(2)}$ at level $k=p/2-3$ with $p=3,5,7,...$. This gives new…

This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Ap\'ery's Theorem…

We prove the irrationality of the classical Dirichlet L-value $L(2,\chi_{-3})$. The argument applies a new kind of arithmetic holonomy bound to a well-known construction of Zagier. In fact our work also establishes the $\mathbf{Q}$-linear…

The family of the Taylor series f_{\epsilon}(z)= \sum\limits_{0\leq{}n<\infty}e^{-\epsilon n^2}z^n is considered, where the parameter \epsilon, which enumerates the family, runs over ]0,\infty[. The limiting behavior of this family is…

The paper is concerned with the Kontsevich-Zagier formal power series $$ f(q)=\sum_{n=0}^\infty (1-q)... (1-q^n) $$ and its analytic properties. To begin with, we give an explicit formula for the Borel transform of the associated formal…

We present an elementary proof of the irrationality of $\zeta(5)$ based upon the Dirichlet's approximation theorem and the Prime Number Theorem.

We give a negative answer to a question by Paul Erd\H{o}s and Ronald Graham on whether the series \[ \sum_{n=1}^{\infty} \frac{1}{(n+1)(n+2)\cdots(n+f(n))} \] has an irrational sum whenever $(f(n))_{n=1}^{\infty}$ is a sequence of positive…

We present several results on the number of irrational and linear independent values among $\zeta(s),\zeta(s+2),...,\zeta(s+2n)$, where $s>2$ is an odd integer and $n>0$ is an integer. The main tool in our proofs is a certain generalization…

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 this paper, we use the analytic method of Odlyzko and Richmond to study the log-concavity of power series. If $f(z) = \sum_n a_nz^n$ is an infinite series with $a_n \geq 1$ and $a_0 + \cdots + a_n = O(n + 1)$ for all $n$, we prove that a…

Let $\omega(n)$ denote the number of distinct prime factors of $n$. Assuming a suitably uniform version of the prime $k$-tuples conjecture, we show that the number \begin{align*} \sum_{n=1}^\infty \frac{\omega(n)}{2^n} \end{align*} is…

Using the expansion in a Fourier-Gegenbauer series, we prove several identities that extend and generalize known results. In particular, it is proved among other results, that \begin{equation*}…

We prove several power series identities involving the refined generating function of interval orders, as well as the refined generating function of the self-dual interval orders. These identities may be expressed as $\sum_{n\ge…

We show geometrically that $\sqrt n$ is irrational for $n=3,5,7$ by adapting Tennenbaum's geometric proof that $\sqrt 2$ is irrational. We also show that this method cannot be used to prove the irrationality of $\sqrt n$ for a bigger $n$.

We prove that the sum of the series $\sum_{n=0}^{\infty}\, p^{v_p(n!)}$ is a $p$-adic irrational for all primes $p$, where $v_p(n!)$ denotes the exponent of the highest power of $p$ dividing $n!$.