Erdős problem 849 · problems.science

Is it true that, for every integer $t\geq1$ , there is some integer $a$ such that ${n \choose k} = a$ with $1\leq k \le \frac{n}{2}$ has exactly $t$ solutions?

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

849.lean

Retained formal statement1 of 1

Is it true that, for every integer $t\geq1$ , there is some integer $a$ such that ${n \choose k} = a$ with $1\leq k \le \frac{n}{2}$ has exactly $t$ solutions?

FormalConjectures/ErdosProblems/849.leanErdos849.erdos_8491 lineExact file

1True ↔ ∀ t ≥ 1, ∃ a, {n | ∃ k ≥ 1, 2 * k ≤ n ∧ n.choose k = a}.ncard = t

OpenStatement only, no proof

Sources

Search problems.science