给定常数 $k$，你可以构造一些 $k$ 元组，$k$ 元组里面的每个元素必须是 $0$ 或 $1$，使得没有两个 $k$ 元组 $(x_1,x_2...x_k)$ 和 $(y_1,y_2...y_k)$ 满足，对于任意 $i$，$x_i \le y_i$，或者对于任意 $i$，$x_i \ge y_i$

那么最多构造多少个？

希望得到一个关于 $k$ 的表达式，或者给一个下界或上界也可以