Skip to content
10 open problems · 10 with Lean statements

Open irrationality problems

Is a given series or constant irrational, or transcendental? Most problems here are Erdős's questions about series built from integer sequences; partial results and numerical evidence are both useful.

Level A · Machine-checkable Hard Lean statement

Erdős Problem #1049

Let t>1 be a rational number. Is Σ_n=1^∞1/t^n-1=Σ_n=1^∞ τ(n)/t^n irrational, where τ(n) counts the divisors of n? A conjecture of Chowla.

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #243

Let a_1 < a_2 < … be a sequence of integers such that lim_n→∞ a_n/a_n-1^2 = 1 and Σ 1/a_n ∈ ℚ. Then, for all sufficiently large n ≥ 1, a_n = a_n-1^2 - a_n-1 + 1.

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #247

Let n_1 < n_2 < ⋯ be a sequence of integers such that limsup n_k/k = ∞. Is Σ_k=1^∞ 1/2^n_k transcendental?

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #251

Is Σ_n=1^∞ p_n/2^n irrational? Here p_n is the n-th prime (p_1=2, p_2=3, …).

No claims yet Be the first →