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)}$ ?

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1101.lean

Retained formal statement1 of 2

1. There is NO good sequence with polynomial growth.

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

Sources

Search problems.science