k\leq n