Erdős problem 683
There exists such that for all .}
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/683.leanTrue ↔ ∃ c > 0, ∀ (n k : ℕ), 0 < k ∧ k < n → ↑(Erdos683.P n k) > min (↑n - ↑k + 1) (↑k ^ (1 + c))OpenStatement only, no proof