Erdős problem 889
Let count the prime factors of which do not divide for . Is it true that as ?
Sources
FormalConjectures/ErdosProblems/
889.lean
Retained formal statement
Does have finite solutions?
This is a modification of erdos_889.variants.v1_eq_1_finite, which might make it more amenable to attack according to [ErSe67].
[ErSe67] Erdős, P. and Selfridge, J. L., Some problems on the prime factors of consecutive integers. Illinois J. Math. (1967), 428--430.
True ↔ {n | Erdos889.V_l 1 n = 1}.FiniteOpenStatement only, no proof