Skip to content

Erdős problem 394

For the least tk(n)t_k(n) with ntk(n)(tk(n)+1)(tk(n)+k1)n \mid t_k(n)(t_k(n)+1)\cdots(t_k(n)+k-1), do the conjectured logarithmic-saving and adjacent-length estimates hold on average? Both answered affirmatively, with c=1/2048c = 1/2048 admissible in the t2t_2 bound.

Sources

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

10 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

394.lean

Retained formal statement9 of 9

The least positive multiple of n is n, so t 1 n = n.

FormalConjectures/ErdosProblems/394.leanErdos394.t_one1 lineExact file
∀ {n : ℕ}, 0 < nErdos394.t 1 n = n
APIStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page