при каких условиях останавливается цикл с предусловием? ​

Если условие никогда не будет ложным (False), тогда цикл будет выполняться бесконечное количество раз.

То есть при описании циклов мы должны правильно указывать условия, при которых он будет выполняться.

Обычно есть некий счетчик, который изменяется во время выполнения цикла и при достижении определенного значения счетчика цикл останавливается.