4 ms·
Since the loop condition is the constant `false`, it should be trivial to prove that the upper bound is one iteration.
by TheCoelacanth 8y ago
Since the loop condition is the constant `false`, it should be trivial to prove that the upper bound is one iteration.