On Congruences for Iterates of the Sum--Power Divisor Function and Conditional Implications for the Riemann Hypothesis

Zeraoulia Rafik, Pedro Caceres

Inspired by Cohen and te Riele~\cite{Cohen1996}, who computationally verified that for every $n\le 400$ there exists $k$ such that $\ddot{I}{ƒ}^k(n)\equiv 0(\mathrm{mod}n)$ (where $\ddot{I}{ƒ}^k$ denot…