Related papers: Integrality and some evaluations of odd multiple h…

It is well known that the harmonic sum $H_n(1)=\sum_{k=1}^n\frac{1}{k}$ is never an integer for $n>1$. In 1946, Erd\H{o}s and Niven proved that the nested multiple harmonic sum $H_n(\{1\}^r)=\sum_{1\le k_1<\dots<k_r\le n}\frac{1}{k_1\cdots…

In 1946, P. Erd\H{o}s and I. Niven proved that there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1,1 / 2$, $\cdots, 1 / n$ are integers. In 2012, Y. Chen and M. Tang proved…

Erdos and Niven proved that for any positive integers $m$ and $d$, there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/m,1/(m+d), ..., 1/(m+nd)$ are integers. Recently, Chen…

In 1946, P. Erd\H os and I. Niven proved that there are only finitely many positive integers $n$ for which one or more elementary symmetric functions of $1, 1/2, \ldots , 1/n$ are integers. In this paper we solve this old problem by showing…

It was proven in 1915 by Leopold Theisinger that the $H_n$ harmonic numbers are never integers. In 1996 Conway and Guy have defined the concept of hyperharmonic numbers. The question naturally arises: are there any integer hyperharmonic…

Let $n$ be a positive integer. In 1915, Theisinger proved that if $n\ge 2$, then the $n$-th harmonic sum $\sum_{k=1}^n\frac{1}{k}$ is not an integer. Let $a$ and $b$ be positive integers. In 1923, Nagell extended Theisinger's theorem by…

Erd\"{o}s and Niven proved in 1946 that for any positive integers $m$ and $d$, there are at most finitely many integers $n$ for which at least one of the elementary symmetric functions of $1/m, 1/(m+d), ..., 1/(m+(n-1)d)$ are integers.…

Let $n$ and $k$ be integers such that $1\le k\le n$ and $f(x)$ be a nonzero polynomial of integer coefficients such that $f(m)\ne 0$ for any positive integer $m$. For any $k$-tuple $\vec{s}=(s_1, ..., s_k)$ of positive integers, we define…

Recently, Dil and Boyadzhiev \cite{AD2015} proved an explicit formula for the sum of multiple harmonic numbers whose indices are the sequence $\left( {{{\left\{ 0 \right\}}_r},1} \right)$. In this paper we show that the sums of multiple…

Let $a$ and $b$ be positive integers. In 1946, Erd\H{o}s and Niven proved that there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/b, 1/(a+b),..., 1/(an-a+b)$ are integers. In…

In this note, we extend the definition of multiple harmonic sums and apply their stuffle relations to obtain explicit evaluations of the sums $R_n(p,t)=\sum\nolimits_{m=0}^n m^p H_m^t$, where $H_m$ are harmonic numbers. When $t\le 4$ these…

Given $r \in \mathbb{N}$, define the function $S_{r}: \mathbb{N} \rightarrow \mathbb{Q}$ by $S_{r}(n)=\displaystyle \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k}$. In $2015$, the second author conjectured that there are infinitely many $r \in…

The harmonic numbers are the sequence 1, 1+1/2, 1+1/2+1/3, ... Their asymptotic difference from the sequence of the natural logarithm of the positive integers is Euler's constant gamma. We define a family of natural generalizations of the…

In 1946, Erd\"os and Niven proved that no two partial sums of the harmonic series are equal. In this paper, we extend this result by demonstrating that no two partial sums of the hyperharmonic series are equal.

In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} (\bmod p^{r}),…

In this note, we show that $S(n,r):=\sum_{k=0}^{n} \binom{n}{k}\frac{k}{k+r}$ is not an integer for any positive integer $n$ and $r\in \{1,2,3,4,5,6\}$ and for $n\le r-1$. This gives a partial answer to a conjecture of [3].

\medskip\noindent\textbf{R\'esum\'e.} Soit $l$ un entier et $\ors=(s_1, \dots, s_l)$ une s\'equence d'entiers positifs. Dans ce document, nous \'etudierons les propri\'et\'es arithm\'etique de sommes harmoniques multiples $H(\ors; n)$, qui…

We prove several supercongruences involving the harmonic number of order two $H_n^{(2)}:=\sum_{k=1}^n1/k^2$. For example, if $p>5$ is prime and $\alpha$ is $p$-integral, then we can completely determine $$…

For any $m,n\in\mathbb{N}$ we first give new proofs for the following well known combinatorial identities \begin{equation*} S_n(m)=\sum\limits_{k=1}^n\binom{n}{k}\frac{(-1)^{k-1}}{k^m}=\sum\limits_{n\geq r_1\geq r_2\geq...\geq r_m\geq…

In 1990, Spie\ss \, gave some identities of harmonic numbers including the types of $\sum_{\ell=1}^n\ell^k H_\ell$, $\sum_{\ell=1}^n\ell^k H_{n-\ell}$ and $\sum_{\ell=1}^n\ell^k H_\ell H_{n-\ell}$. In this paper, we derive several formulas…