Erdős problem 946 · problems.science

There are infinitely many $n$ such that $τ(n) = τ(n+1)$ . Proved in [He84]. Here τ is the divisor counting function, which is σ 0 in mathlib.

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

946.lean

Retained formal statement4 of 5

There are infinitely many $n$ such that $τ(n) = τ(n + 5040)$ . Proved in [Sp81].

FormalConjectures/ErdosProblems/946.leanErdos946.erdos_946.variants.spiro_50401 lineExact file

1{n | (ArithmeticFunction.sigma 0) n = (ArithmeticFunction.sigma 0) (n + 5040)}.Infinite

SolvedStatement only, no proof