But, from Sperner's theorem, the maximal length of an antichain from a set of elements is
Subalit, mula sa Sperner's teorama, ang pinakamalaki haba ng isang antichain mula sa isang set ng mga sangkap ay