i\geq k