Skip to content

Erdős problem 263

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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/263.lean

Formal Conjectures

FormalConjectures/ErdosProblems/263.leanErdos263.erdos_263.parts.i1 lineExact file
sorry ↔ Erdos263.IsIrrationalitySequence fun n => 2 ^ 2 ^ n
OpenStatement only, no proof

Reported activity

Reported by these sources. 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

Continue