Asymptotic conjecture for products of cross-Sperner families
Asymptotic product conjecture. For fixed k≥2k\geq 2k≥2 and sufficiently large nnn with respect to kkk,