Erdős problem 931 · problems.science

Let $k_1 \geq k_2 \geq 3$ . Are there only finitely many $n_2\geq n_1 + k_1$ such that $\prod_{1\leq i\leq k_1}(n_1 + i)\ \text{and}\ \prod_{1\leq j\leq k_2} (n_2 + j)$ have the same prime factors?

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

931.lean

Retained formal statement1 of 4

Let $k_1 \geq k_2 \geq 3$ . Are there only finitely many $n_2\geq n_1 + k_1$ such that $\prod_{1\leq i\leq k_1}(n_1 + i)\ \text{and}\ \prod_{1\leq j\leq k_2} (n_2 + j)$ have the same prime factors?

FormalConjectures/ErdosProblems/931.leanErdos931.erdos_9317 linesExact file

1sorry ↔2  ∀ (k₁ k₂ : ℕ),3    k₂ ≥ 3 →4      k₂ ≤ k₁ →5        {(n₁, n₂) |6            n₁ + k₁ ≤ n₂ ∧7              (∏ i ∈ Finset.Icc 1 k₁, (n₁ + i)).primeFactors = (∏ j ∈ Finset.Icc 1 k₂, (n₂ + j)).primeFactors}.Finite

OpenStatement only, no proof

Sources

Search problems.science