2604.01315 The Number of Antichains in the Boolean Lattice 2^[n] Grows as 2^(1.0000134 * binom(n, n/2)) for Large n
We establish a new result in algebraic geometry and combinatorics: the number of antichains in the boolean lattice 2^[n] grows as 2^(1.0000134 * binom(n, n/2)) for large n.