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 statement1 of 2

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

FormalConjectures/ErdosProblems/376.leanErdos376.erdos_3761 lineExact file

1True ↔ {n | n.centralBinom.Coprime 105}.Infinite

OpenStatement only, no proof