额，最近看到了一个十分有趣的定理——Sperner定理。其实这个定理在OI中没什么用处，因此我都没把这篇文章放到我的OI标签里(不知道在MO中是否有用？)但是觉得它很有趣于是就过来写一下。

由于博主太弱不会用LaTeX写取整符号，本文中用\([x]\)表示\(x\)下取整。

问题: 有一个\(n\)元集合\(S_n\)，从中选出若干个子集，满足没有任何两个子集之间存在包含关系，问最多能选出多少个？

首先结论是很好猜的。如果把所有\(k\)元子集全部选出，那么显然不会包含，一共能选\(n\choose k\)个子集。显然这个数在\([\frac{n}{2}]\)时取到最大值，我也