Erdős problem 893 · problems.science

Does the limit $\lim_{n\to\infty} \frac{f(2n)}{f(n)}$ tend to infinity?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

893.lean

Retained formal statement2 of 2

Kovač and Luca [KoLu25] (building on a heuristic independently found by Cambie (personal communication)) have shown that there is no finite limit, in that $\lim_{n\to\infty} \frac{f(2n)}{f(n)}$ is unbounded.

FormalConjectures/ErdosProblems/893.leanErdos893.erdos_893.variants.unbounded1 lineExact file

1¬BddAbove (Set.range fun n => ↑(Erdos893.f (2 * n)) / ↑(Erdos893.f n))

SolvedStatement only, no proof

Sources

Search problems.science