n\geq 0