A Tight Lower Bound for k-Set Agreement