n \geq 4