Erdős problem 826

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

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

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