Erdős problem 826 · problems.science

Are there infinitely many $n$ such that, for all $k\geq 1$ $\tau(n + k) \ll k?$

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

826.lean

Retained formal statement1 of 1

Are there infinitely many $n$ such that, for all $k\geq 1$ $\tau(n + k) \ll k?$

FormalConjectures/ErdosProblems/826.leanErdos826.erdos_8261 lineExact file

1True ↔ ∃ C > 0, {n | ∀ k ≥ 1, ↑((ArithmeticFunction.sigma 0) (n + k)) ≤ C * ↑k}.Infinite

OpenStatement only, no proof