Chapter 2: Getting Started

@laurocaetano, @rmascarenhas, @andrielfn and @rcillo After a lot of effort on this chapter I tried my best to solve exercises and problems, but couldn't finish all of them.
Isn't the loop invariant itself missing here?