at least one assert that holds in the body of the loop. You can choose what the invariant is

Hire us to tackle your online classes, quizzes, homework, research papers, essays, dissertations, thesis, cv's et cetera.