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.}

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/683.lean

Formal Conjectures

FormalConjectures/ErdosProblems/683.leanErdos683.erdos_6831 lineExact file
True ↔ ∃ c > 0, ∀ (n k : ℕ), 0 < kk < n → ↑(Erdos683.P n k) > min (↑n - ↑k + 1) (↑k ^ (1 + c))
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page