n\geq p