Related papers: On the irrationality of certain super-polynomially…

For a set $A$, let $P(A)$ be the set of all finite subset sums of $A$. We prove that if a sequence $B=\{11\leq b_1<b_2<\cdots\}$ satisfies $b_2=3b_1+5$, $b_3=3b_2+2$ and $b_{n+1}=3b_n+4b_{n-1}$ for all $n\geq 3$, then there is a sequence of…

There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…

We obtain an asymptotic series $\sum_{j=0}^\infty\frac{I_j}{n^j}$ for the integral $\int_0^1[x^n+(1-x)^n]^{\frac1{n}}dx$ as $n\to\infty$, and compute $I_j$ in terms of alternating (or "colored") multiple zeta value. We also show that $I_j$…

We present a method to study the behavior of a power series of type $$f(x):=\sum_{n=0}^\infty (-1)^n c_n\frac{x^{2n+1}}{(2n+1)!}$$ when $x\to\infty$. We apply our method to study the function…

In this paper, we prove that the period of the continued fraction expansion of ${\sqrt {2^{n}+1}}$ tends to infinity when $n$ tends to infinity through odd positive integers.

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

It is unknown whether the Flint-Hills series $\sum_{n=1}^\infty \frac{1}{n^3\sin^2(n)}$ converges. Alekseyev (2011) connected this question to the irrationality measure of $\pi$, that $\mu(\pi) > \frac{5}{2}$ would imply divergence of the…

The aim of this note is to provide a simple proof of some well-known identities and recurrences relating classical Bernoulli and Euler numbers by using the Abel sum of the divergent series $\sum_{n=0}^\infty (-1)^{n} (n+1)^k$, $k$ a…

Let $A$ be a nonempty finite set of $k$ integers. Given a subset $B$ of $A$, the sum of all elements of $B$, denoted by $s(B)$, is called the subset sum of $B$. For a nonnegative integer $\alpha$ ($\leq k$), let \[\Sigma_{\alpha}…

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…

Let $\beta=\frac{1+\sqrt{5}}{2}$, $(a_n)_{n \in \mathbb{N}^+}$ be a non-uniform morphic sequence involving the infinite Fibonacci word and $(\delta(n))_{n \in \mathbb{N}^+}$ be a positive sequence such that for all positive integers $n$,…

Given a countable graph, we say a set $A$ of its vertices is \emph{universal} if it contains every countable graph as an induced subgraph, and $A$ is \emph{weakly universal} if it contains every finite graph as an induced subgraph. We show…

Pilz's conjecture states that for any finite set $A=\{a_1,a_2,\dots,a_k\}$ of positive integers and positive integer $n$ in the union of the sets $\{a_1,2a_1,\dots,na_1\},\dots, \{a_k,2a_k,\dots,na_k\}$ (considered as a multiset) at least…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is of type 1 if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ satisfies a zero-one law. This means that for any non-negative…

The Dirichlet lambda function $\lambda(s)$ is defined for $\mathrm{Re}(s) > 1$ by \[ \lambda(s) = \sum_{n=0}^{\infty} \frac{1}{(2n+1)^s}. \] This function was initially studied by Euler on the real line, where he denoted it by $N(s)$. In…

We evaluate in closed form series of the type $\sum u(n) R(n)$, where $(u(n))_n$ is a strongly $B$-multiplicative sequence and $R(n)$ a (well-chosen) rational function. A typical example is: $$ \sum_{n \geq 1} (-1)^{s_2(n)}…

In this article, we consider the weighted partition function $p_f(n)$ given by the generating series $\sum_{n=1}^{\infty} p_f(n)z^n = \prod_{n\in\mathbb{N}^{*}}(1-z^n)^{-f(n)}$, where we restrict the class of weight functions to strongly…

As early as the 1930s, P\'al Erd\H{o}s conjectured that: {\em for any multiplicative function $f:\mathbb{N}\to\{-1,1\}$, the partial sums $\sum_{n\leq x}f(n)$ are unbounded.} Considering this conjecture, in this paper we consider…

Given an irrational alpha and an x in the unit interval, the set of balanced times, for which the same number of (k*alpha+x) (modulo one) are less than or equal to one half as are larger than one half, is in general infinite, but sparse in…

We study the irreducibility and Galois group of random polynomials over function fields. We prove that a random polynomial $f=y^n+\sum_{i=0}^{n-1}a_i(x)y^i\in\mathbb F_q[x][y]$ with i.i.d coefficients $a_i$ taking values in the set…