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 statement4 of 4

Sylvester and Schur [Er34] proved that P(n,k)>kP(n, k) > k for kn/2k \le n/2.

FormalConjectures/ErdosProblems/683.leanErdos683.erdos_683.variant.sylvester_schur1 lineExact file
∀ (n k : ℕ), 0 < kkn / 2 → Erdos683.P n k > k
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page