Skip to content

Erdős problem 315

Let u1=1u_1=1 and un+1=un(un+1)u_{n+1}=u_n(u_n+1), so that k11uk+1\sum_{k\geq 1}\frac{1}{u_k+1} and uk=c02k+1u_k=\lfloor c_0^{2^k}+1\rfloor for k1k\geq 1, where c0=limun1/2n=1.264085.c_0=\lim u_n^{1/2^n}=1.264085\cdots. Let a1<a2<a_1<a_2<\cdots be any other sequence with 1ak=1\sum \frac{1}{a_k}=1. Is it true that lim infan1/2n<c0=1.264085?\liminf a_n^{1/2^n}<c_0=1.264085\cdots?
Retained from Formal Conjectures · not edited here
Formal statements
1 solved
Erdős Problems says
proved (Lean)
Decision here
No current contribution
Checks
0 checks · 1 formal

Current Result

Accepted in Vela Mathematics Program

Current Result

No result has been accepted here yet.

Type
Evidence
0 artifacts
Decision
None
Reviewed
No date retained

Search problems.science

Find a Problem, Result, source, or page