Question

A loop invariant need not be true​

Answer 1

Invariant in this case means a condition that must be true at a certain point in every loop iteration.