gistfile1.java

int i = 1,
    fact = 1;

// Invariant (fact == i!) is true here

while (i<N) {
  i = i + 1;
  fact = fact * i;
  
  // Invariant (fact == i!) is true here
}

// We exit the above loop when i == N, so fact MUST contain N!