Does $V_1(n) = 1$ 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.
Actions
Submit a Proof
Have a proof attempt? Submit it for zero-trust verification.
