2 problems

Hamiltonian-path conjecture. The equalities

Sharpness conjecture. For every $n\geq 3$, there exists an $n$-cube antichain $S$ such that