In an arbitrary finite poset, is there necessarily an element that is both in the longest chain and in the largest antichain?
I think it is true. Longest chain contains an element of every largest antichain.
But how to prove it? Maybe a counter-example：
