5. Is the loop in the code below infinite ? How do you know (for sure) before you run it ?