Erdős problem 1101 · problems.science

Does there exist a good pairwise-coprime sequence $u_n$ with $\sum 1/u_n < \infty$ and polynomial growth? What if one only requires $u_n \le e^{o(n)}$ ?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/1101.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1101.leanErdos1101.erdos_1101.parts.i1 lineExact file

1¬∃ u, Erdos1101.IsGood u ∧ ∃ k, (fun n => ↑(u n)) =O[Filter.atTop] fun n => ↑n ^ k

OpenStatement only, no proof

Reported activity

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

AI standalone
Erdős AI contributions wiki · 27 Apr, 2026
Machine
GPT-5.5 Pro
Open the source record
construction
VibeMathed
Machine
GPT-5.5 Pro
Reported outcome
partial
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Reported activity

Continue

Search problems.science