Skip to content

Erdős problem 826

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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/826.lean

Formal Conjectures

FormalConjectures/ErdosProblems/826.leanErdos826.erdos_8261 lineExact file
True ↔ ∃ C > 0, {n | ∀ k ≥ 1, ↑((ArithmeticFunction.sigma 0) (n + k)) ≤ C * ↑k}.Infinite
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page