n \geq 0