maybe proved the k/2 conjecture