Let $A = \{a_1 0$, there exists some $k$ such that $F(A,X,k) < X^\epsilon$?

Erdős problem 873 · problems.science

Let $A = \{a_1 < a_2 < \dots\} \subseteq \mathbb{N}$ and let $F(A,X,k)$ count the number of $i$ such that $[a_i,a_{i+1}, \dots ,a_{i+k−1}] < X$ , where the left-hand side is the least common multiple. Is it true that, for every $\epsilon > 0$ , there exists some $k$ such that $F(A,X,k) < X^\epsilon$ ?

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

873.lean

Retained formal statement1 of 1

FormalConjectures/ErdosProblems/873.leanErdos873.erdos_8731 lineExact file

1True ↔ ∀ (a : ℕ → ℕ), ∀ ε > 0, 0 < a 0 → StrictMono a → ∃ k, ∀ X > 0, ↑↑(Erdos873.F a X k) < ↑(X ^ ε)

OpenStatement only, no proof

Sources

Search problems.science