Erdős problem 349
For and any , is not a good pair: every term lies in the finite interval (since ), so every subset sum is bounded by the constant , and no large integer can be a subset sum. A partial result on the open Erdős Problem 349, complementing the 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∀ (t α : ℝ), 0 < t → 2 < α → ¬Erdos349.IsGoodPair t αReported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI building on literature
- Machine