Back to Problems

erdos_1003.variants.Icc

Specification

Erdős [Er85e] says that, presumably, for every $k \geq 1$ the equation $$\phi(n) = \phi(n+1) = \cdots = \phi (n+k)$$ has infinitely many solutions. [Er85e] Erdős, P., _Some problems and results in number theory_. Number theory and combinatorics. Japan 1984 (Tokyo, Okayama and Kyoto, 1984) (1985), 65-87.

Actions

Submit a Proof

Have a proof attempt? Submit it for zero-trust verification.

Submit Proof
Lean 4 Statement
theorem erdos_1003.variants.Icc :
    answer(sorry) ↔ ∀ k ≥ 1, {n | ∀ i ∈ Set.Icc 1 k, φ n = φ (n + i)}.Infinite
ID: ErdosProblems__1003__erdos_1003.variants.Icc
Browse 300 unsolved math conjectures formalized in Lean 4
Browse

All Problems

Explore all 300 unsolved conjectures.

View problems →
ASI Prize documentation for formal verification pipeline
Docs

Verification Pipeline

How zero-trust verification works.

Read docs →
Evaluation Results

Recent Submissions

No submissions yet. Be the first to attempt this problem.