3 ms·

Only in the general case. In many/most loops that humans would find useful in practice you can prove termination.