k\leq n/2