Skip to content

Erdős problem 1063

Estimate nkn_k by finding a better upper bound.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/1063.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1063.leanErdos1063.erdos_1063.better_upper3 linesExact file
have upper_bound := sorry;(fun k => ↑(Erdos1063.n k)) =O[Filter.atTop] upper_bound ∧  upper_bound =o[Filter.atTop] fun k => ↑k * (Finset.Icc 1 (k - 1)).lcm fun n => ↑n
OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page