Skip to content

Erdős problem 946

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/946.lean

Formal Conjectures

FormalConjectures/ErdosProblems/946.leanErdos946.erdos_9461 lineExact file
{n | (ArithmeticFunction.sigma 0) n = (ArithmeticFunction.sigma 0) (n + 1)}.Infinite
SolvedStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page