Loop invariant initialisation confusion
An implication is true if the antecedent is false. 

If j is 1 then the antecedent is false no matter what k you choose, which means that the implication is vacuously true for every k. So the assertion is true.