Skip to content

Erdős problem 650

Let f(m)f(m) be such that if A{1,,N}A\subseteq \{1,\ldots,N\} has A=m\lvert A\rvert=m then every interval in [1,)[1,\infty) of length 2N2N contains f(m)\geq f(m) many distinct integers b1,,brb_1,\ldots,b_r where each bib_i is divisible by some aiAa_i\in A, where a1,,ara_1,\ldots,a_r are distinct.

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

650.lean

Retained formal statement4 of 4

Erdős and Surányi [ErSu59] proved that f(m)mf(m)\geq\sqrt{m}.

FormalConjectures/ErdosProblems/650.leanErdos650.erdos_650.variants.erdos_suranyi1 lineExact file
∀ (m : ℕ), √↑m ≤ ↑(Erdos650.f m)
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page