W(2, k) > 2^k/k^\varepsilon