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

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

(Other finite limits have been ruled out by [KoLu25], see below)

FormalConjectures/ErdosProblems/893.leanErdos893.erdos_8931 lineExact file

1True ↔ Filter.Tendsto (fun n => ↑(Erdos893.f (2 * n)) / ↑(Erdos893.f n)) Filter.atTop Filter.atTop

OpenStatement only, no proof