I need help understanding why the two statements I have underlined with red are correct. I am confused as to how we can get $n + 1$.And how $i \le n$ is true when it says $i < n$ in the while.
Loop invariant for a while loop
algorithms;loop invariants