k\geq 0