I've added a text to A135342 (counting how many
distinct means can be constructed by taking
nonempty subsets of {1....n}) that summarizes
one way of deriving the formula for the 2nd differences.
Comments (and proposals for shorter a proof)
are welcome...
RJM