show/hide this revision's text 2 added 1 characters in body; added 67 characters in body

This is a famous problem known as the "Dedekind Problem", and it was posed by Dedekind in 1897. The Wikipedea article has some information. There have been remarkable progress on understanding the asymptotic value of M(n) the number of antichains of sets from {1,2,...,n}. (This paper of Kleitman gives some of the history, and this paper by Kahn gives an updated history.) While $2^{{n}\choose {n/2}}$ is an obvious lower bound there is a beatiful 1966 proof by Hansel for the upperbound $3^{{n}\choose {n/2}}$.

Kleitman & Markowsky (1975). gave the asymptotic behavior of $\log M(n)$. They showed that $log M(n)$ behave asumptotically like ${{n} \choose {n/2}}$. The paper by Kahn that we already mentioned gives a simpler entropy based proof.

Amazingly, the asymptotic behavior of M(n) itself was discovered as well. in 1981, Korshunov [14], , using an extremely complicated approach, gave asymptotics for M(n) itself. Simpler, though still dicultdifficult, arguments for Korshunov's and some related results were later given by Sapozhenko. (See eg this book.) Sapozhenko's method turned out to be very importante.g. , e.g., in the result by Galvin and Kahn on the threshold behavior of the d-dimensional hard core model.

show/hide this revision's text 1

This is a famous problem known as the "Dedekind Problem", and it was posed by Dedekind in 1897. The Wikipedea article has some information. There have been remarkable progress on understanding the asymptotic value of M(n) the number of antichains of sets from {1,2,...,n}. (This paper of Kleitman gives some of the history, and this paper by Kahn gives an updated history.) While $2^{{n}\choose {n/2}}$ is an obvious lower bound there is a beatiful 1966 proof by Hansel for the upperbound $3^{{n}\choose {n/2}}$.

Kleitman & Markowsky (1975). gave the asymptotic behavior of $\log M(n)$. They showed that $log M(n)$ behave asumptotically like ${{n} \choose {n/2}}$. The paper by Kahn that we already mentioned gives a simpler entropy based proof.

Amazingly, the asymptotic behavior of M(n) itself was discovered as well. in 1981, Korshunov [14], using an extremely complicated approach, gave asymptotics for M(n) itself. Simpler, though still dicult, arguments for Korshunov's and some related results were later given by Sapozhenko. (See eg this book.) Sapozhenko's method turned out to be very important e.g. in the result by Galvin and Kahn on the threshold behavior of the d-dimensional hard core model.