The sets
S
that are left have the property that if
a
is in
S
, then the number
(n+1-a)
is in
S
as well.
Q:
What is the average of such a subset of
{1, 2, ..., n}
?
[The parity of
n
matters!]