Estimates for the Dedekind number $M(9)$

328 Views Asked by At

The Dedekind number $M(n)$ is the number of antichains in the partial order of subsets of $\{1,\dotsc,n\}$. It is only known for $0 \leq n \leq 8$.

Question. What are some known upper and lower bounds for $M(9)$?