1 problem

Milner–Sauer conjecture. If $\operatorname{cf}(P,\le)=\lambda>\operatorname{cf}(\lambda)=\kappa$, then $P$ contains an antichain of size $\kappa$.