Skip to content

Erdős problem 260

Let a1<a2<⋯a_1 < a_2 < \cdots be an increasing sequence such that ann→∞\frac{a_n}{n} \to \infty. Is the sum ∑n∞an2an\sum_{n}^{\infty} \frac{a_n}{2^{a_n}} irrational?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/260.lean

Formal Conjectures

FormalConjectures/ErdosProblems/260.leanErdos260.erdos_2605 linesExact file
sorry ↔  ∀ (a : ℕ → ℤ) (s : ℝ),    StrictMono a →      Filter.Tendsto (fun n => ↑(a n) / ↑n) Filter.atTop Filter.atTop →        HasSum (fun n => ↑(a n) / 2 ^ a n) s → Irrational s
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page