Skip to content

Erdős problem 893

Start work

Does the limit lim⁡n→∞f(2n)f(n)\lim_{n\to\infty} \frac{f(2n)}{f(n)} tend to infinity?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/893.lean

Formal Conjectures

FormalConjectures/ErdosProblems/893.leanErdos893.erdos_8931 lineExact file
True ↔ Filter.Tendsto (fun n => ↑(Erdos893.f (2 * n)) / ↑(Erdos893.f n)) Filter.atTop Filter.atTop
OpenStatement only, no proof

Reported activity

Reported by these sources. Not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry