Challenge

What would be a correct loop invariant for the following code?

    int k = 10;
    for( int i=0; i < 10; i++)
     k -= 1;