Skip to content

Erdős problem 390

Let f(n)f(n) be the least mm for which n!n! can be written as a1aka_1\cdots a_k with n<a1<<ak=mn < a_1 < \cdots < a_k = m - the smallest possible largest factor in a factorization of n!n! into distinct integers all exceeding nn. Erdős, Guy and Selfridge proved f(n)2nn/lognf(n) - 2n \asymp n/\log n. Erdős asked whether there is a constant cc with f(n)2ncnlogn,f(n) - 2n \sim c\,\frac{n}{\log n}, and what it is.

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

390.lean

Retained formal statement2 of 2

f n - 2 * n = θ (n / log n). This is proved in [EGS82].

FormalConjectures/ErdosProblems/390.leanErdos390.erdos_390.variants.theta1 lineExact file
(fun n => ↑(Erdos390.f n) - 2 * ↑n) =Θ[Filter.atTop] fun n => ↑n / Real.logn
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page