i\leq k