erdos_889.variants.v1_eq_1_finite

Specification

Does $v_1(n) = 1$ have finite solutions? [ErSe67] Erdős, P. and Selfridge, J. L., Some problems on the prime factors of consecutive integers. Illinois J. Math. (1967), 428--430.

Actions

Submit a Proof

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

Submit Proof

Lean 4 Statement

theorem erdos_889.variants.v1_eq_1_finite :
    answer(sorry) ↔ {n | v_l 1 n = 1}.Finite

ID: ErdosProblems__889__erdos_889.variants.v1_eq_1_finite

Browse

All Problems

Explore all 300 unsolved conjectures.

View problems →

Docs

Verification Pipeline

How zero-trust verification works.

Read docs →

Evaluation Results

Recent Submissions

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