Let's a n - p set be a set Z such that Z={a1,a2,⋯,an} , where ∀i<n , i∈Z+ , ai<ai+1 , and for each x≤p , x∈Z+ , ∃Y⊆Z , σ(Y)=x , ∄σ(Y)=p+1 .
(For Example {1,2} is a 2 - 3 set and {1,2,4,10} is a 4 - 8 set)
Furthermore, let call a n - p set a n - p good set if an≤p , and a n - p bad set if an≥p+1 (note that ∄σ(Y)=p+1 for any n - p set. Thus, we can ignore the case where an=p+1 ).
Furthermore, if you add any amount of elements to the end of a n - p bad set to form another n - p set (with a different n ), it will stay as a n - p bad set because an+x>an>p+1 for any positive integer x and ∄σ(Y)=p+1 .
Lemma ) If Z is a n - p set, p≤2n−1 .
For n=1 , p=0 or 1 because a1=1→p=1 and a1=1→p=0 .
Assume that the lemma is true for some n , then 2n is not expressible with the n - p set. Thus, when we add an element to the end to from a n+1 - r set, an+1 must be ≤p+1 if we want r>p because we need a way to express p+1 . Since p+1 is not expressible by the first n elements, p+1+an+1 is not expressible by these n+1 elements. Thus, the new set is a n+1 - r set, where r≤p+1+an+1≤2n+1−1
Lemma Proven
The answer to this question is max(a10)=248 .
The following set is a 11 - 1500 set:
{1,2,4,8,16,32,64,128,247,248,750}
Note that the first 8 numbers are power of 2 from 0 to 7 , and realize that any 8 or less digit binary number is basically sum of a combination of the first 8 elements in the set. Thus, ∃Y⊆{1,2,4,8,16,32,64,128} , σ(Y)=x∀1≤x≤255 .
248≤σ(y)+a9≤502 which implies that ∃A⊆{1,2,4,8,16,32,64,128,247} , σ(A)=x∀1≤x≤502 .
Similarly ∃B⊆{1,2,4,8,16,32,64,128,247,248} , σ(A)=x∀1≤x≤750 and ∃C⊆{1,2,4,8,16,32,64,128,247,248,750} , σ(A)=x∀1≤x≤1500 .
Thus, {1,2,4,8,16,32,64,128,247,248,750} is a 11 - 1500 set.
Now, let's assume for contradiction that ∃a10≤247 such that a1,a2,…,a11 is a 11 - q set where q≥1500
a1,a2,…a8 is a 8 - a set where a≤255 (lemma).
max(a9)=a10−1≤246
Let a1,a2,…,a10 be a 10 - b set where the first 8 elements are the same as the previous set. Then, 256+a9+a10 is not expressible as σ(Y) . Thus, b≤255+a9+a10≤748 .
In order to create a 11 - d set with d>748 and the first 10 elements being the ones on the previous set, a11≤749 because we need to make 749 expressible as σ(Y) . Note that b+1+a11 is not expressible, thus d<b+1+a11≤1498 .
Done but not elegant...