Spoiler:

Choose uniformly at random a permutation . Let

And define

.

It immediately follows that . However, from the way we defined we also have that for any set A, it contains exactly one set of size , distributed uniformly among all sets of size . Thus we have that and so from linearity of expectation,

However, since is a chain, we must have that therefore

The conclusion follows from the fact that is maximized when