k\ge 0