Skip to content

Erdős problem 349

For 0<α10 < \alpha \le 1 and any t>0t > 0, (t,α)(t, \alpha) is not a good pair: every term tαn\lfloor t\alpha^n\rfloor lies in the finite interval [0,t][0, \lfloor t\rfloor] (since αn1\alpha^n \le 1), so every subset sum is bounded by the constant i[0,t]i\sum_{i \in [0,\lfloor t\rfloor]} i, and no large integer can be a subset sum. A partial result on the open Erdős Problem 349, complementing the 2<α2 < \alpha and integer-coefficient cases.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/349.lean

Formal Conjectures

FormalConjectures/ErdosProblems/349.leanErdos349.alpha_gt_two_not_isGoodPair1 lineExact file
∀ (t α : ℝ), 0 < t → 2 < α → ¬Erdos349.IsGoodPair t α
SolvedProof has a holeformal conjecturesexternal proof

The proof uses `sorry`: part of the argument is written but not proved. Lean accepts the file; it does not accept the theorem.

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • AI building on literature

    Erdős AI contributions wiki · 9 Mar, 2026

    Machine
    GPT-5.2 Thinking
    Open the source record

Continue

Search problems.science

Find a Problem, Result, source, or page