Correctness and the Loop Invariant

  • + 1 comment

    I didn't get the idea of the question i just change one thing(j>0 to j>= 0) and it works...