Erdős problem 730 · problems.science

Are there infinitely many pairs of integers $n < m$ such that $\binom{2n}{n}$ and $\binom{2m}{m}$ have the same set of prime divisors?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

730.lean

Retained formal statement3 of 3

For example, $(87,88)$ and $(607,608)$ are such pairs.

FormalConjectures/ErdosProblems/730.leanErdos730.erdos_730.variants.explicit_pairs1 lineExact file

1{(87, 88), (607, 608)} ⊆ Erdos730.S

TextbookStatement only, no proofformal statement reference