n\geq k