1. Если в теле цикла нет операций, влияющих на условие так, чтобы цикл завершился.
2. В случае, если начальное значение параметра больше конечного.
3. Верно. Если в тело цикла добавить переменную, являющуюся счетчиком, каждый повтор цикла её изменять на один шаг, а в условии цикла указать конечное значение счетчика. Обратное утверждение.Реализовать цикл с условием в цикле for технически возможно, но это тупо.
4. В случае, если известно количество итераций цикла.