The irrationality of a divisor function series of Erdős and Kac (2209.11124v1)

Abstract: For positive integers $k$ and $n$ let $\sigma_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erd\H{o}s and Kac asked whether, for every $k$, the number $\alpha_k = \sum_{n\geq 1} \frac{\sigma_k(n)}{n!}$ is irrational. It is known unconditionally that $\alpha_k$ is irrational if $k\leq 3$. We prove $\alpha_4$ is irrational.