Skip to content

Erdős problem 683

There exists c>0c > 0 such that P(n,k)>min{nk+1,k1+c}P(n, k) > \min\{n-k+1, k^{1 + c}\} for all 0<k<n0 < k < n.}

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

683.lean

Retained formal statement3 of 4

Standard heuristics suggest that P(n,k)>eckP(n, k) > e^{c\sqrt{k}} for some constant c>0c > 0.

FormalConjectures/ErdosProblems/683.leanErdos683.erdos_683.variant.exp_sqrt1 lineExact file
c > 0, ∀ (n k : ℕ), 0 < kkn / 2 → ↑(Erdos683.P n k) > Real.exp (c * √↑k)
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page