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.
Sources
FormalConjectures/ErdosProblems/
349.lean
Retained formal statement
For what values of is the sequence complete (that is, all sufficiently large integers are the sum of distinct integers of the form )?
{(t, α) | 0 < t ∧ 0 < α ∧ Erdos349.IsGoodPair t α} = sorryOpenStatement only, no proof