Skip to content

Erdős problem 247

Start work

Let n1<n2<⋯n_1 < n_2 < \cdots be a sequence of integers such that lim sup⁡nkk=∞. \limsup \frac{n_k}{k} = \infty. Is ∑k=1∞12nk \sum_{k=1}^{\infty} \frac{1}{2^{n_k}} transcendental?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/247.lean

Formal Conjectures

FormalConjectures/ErdosProblems/247.leanErdos247.erdos_2474 linesExact file
True ↔  ∀ (n : ℕ → ℕ),    StrictMono n →      Filter.limsup (fun k => ↑(n k) / ↑k.succ) Filter.atTop = ⊤ → Transcendental ℚ (∑' (k : ℕ), 1 / 2 ^ n k)
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry