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 statement2 of 2

2. There is a good sequence with sub-exponential growth.

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

1∃ u, Erdos1101.IsGood u ∧ (fun n => Real.log ↑(u n)) =o[Filter.atTop] fun n => ↑n

OpenStatement only, no proof

Sources

Search problems.science