Erdős problem 263 · problems.science

Must every irrationality sequence $a_n$ in the above sense satisfy $a_n^{1/n} \to \infty$ as $n \to \infty$ ?

No current result

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

FormalConjectures/ErdosProblems/263.lean

Formal Conjectures

FormalConjectures/ErdosProblems/263.leanErdos263.erdos_263.parts.i1 lineExact file

1sorry ↔ Erdos263.IsIrrationalitySequence fun n => 2 ^ 2 ^ n

OpenStatement only, no proof

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

AI standalone
Erdős AI contributions wiki · 9 May, 2026
Machine
Aristotle, Claude Opus 4.7, GPT-5.5 Pro
Open the source record