Erdős problem 376 · problems.science

Are there infinitely many $n$ such that ${2n\choose n}$ is coprime to $105$ ?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

376.lean

Retained formal statement2 of 2

Erdős, Graham, Ruzsa, and Straus [EGRS75] have shown that, for any two odd primes $p$ and $q$ , there are infinite many $n$ such that ${2n\choose n}$ is coprime to $pq$ .

FormalConjectures/ErdosProblems/376.leanErdos376.erdos_376.variants.prime1 lineExact file

1∀ {p q : ℕ}, Nat.Prime p → Odd p → Nat.Prime q → Odd q → {n | n.centralBinom.Coprime (p * q)}.Infinite

SolvedStatement only, no proof

Sources

Search problems.science