Asymptotic sharpness of the layered lower bound for Boolean-lattice chain covers
Asymptotic sharpness conjecture. For every fixed r≥1r\ge 1r≥1,
MathDB