Skip to content

Erdős problem 1085

Erdős and Pach showed that, for d5d \ge 5 odd, there exist constants c1(d),c2(d)>0c_1(d), c_2(d) > 0 such that p12pn2c1n4/3fd(n)p12pn2+c2n4/3\frac{p - 1}{2p} n^2 - c_1 n^{4/3} ≤ f_d(n) \le \frac{p - 1}{2p} n^2 + c_2 n^{4/3} where p=d2p = \lfloor\frac d2\rfloor.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1085.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1085.leanErdos1085.erdos_1085.variants.lower_d21 lineExact file
c > 0, ∀ᶠ (n : ℕ) in Filter.atTop, ↑n ^ (1 + c / Real.log (Real.logn)) < ↑(Erdos1085.f 2 n)
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page