Erdős problem 202 · problems.science

Let $n_1<\cdots < n_r\leq N$ with associated $a_i\pmod{n_i}$ such that the congruence classes are disjoint (that is, every integer is $\equiv a_i\pmod{n_i}$ for at most one $1\leq i\leq r$ ). How large can $r$ be in terms of $N$ ?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

202.lean

Retained formal statement2 of 2

Erdős and Stein conjectured that $f(N)=o(N)$ , which was proved by Erdős and Szemerédi [ErSz68].

FormalConjectures/ErdosProblems/202.leanErdos202.erdos_202.variants.erdos_szemeredi1 lineExact file

1(fun N => ↑(Erdos202.f N)) =o[Filter.atTop] fun N => ↑N

SolvedStatement only, no proof

Sources

Search problems.science