Skip to content

Erdős problem 1096

Let 1<q<1+ϵ1<q<1+\epsilon and consider the set of numbers of the shape ∑i∈Sqi\sum_{i\in S}q^i (for all finite SS), ordered by size as 0=x1<x2<⋯0=x_1<x_2<\cdots.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/1096.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1096.leanErdos1096.erdos_10969 linesExact file
True ↔  ∃ ε > 0,    ∀ (q : ℝ),      1 < q →        q < 1 + ε →          ∀ (x : ℕ → ℝ),            StrictMono x →              Set.range x = {x | ∃ S, ∑ i ∈ S, q ^ i = x} →                Filter.Tendsto (fun k => x (k + 1) - x k) Filter.atTop (nhds 0)
SolvedStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page