Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 109 / 1 / c / Solution

Choose $k$ distinct ranks whose $u(i)$ values are the $k$ largest, resolving any tie arbitrarily, and take the union of their full levels. Along a strict chain in a partially ordered set, cardinality strictly increases, so this set family is a k-Sperner family. Its weight is the sum of the selected rank weights because a full level of rank $i$ has $\left(\genfrac{}{}{0ex}{}{n}{i}\right)$ members. Thus the bound in the weighted theorem for k-Sperner families is always attained: