Помогите пожалуйста

1. (Нет блока программы, поэтому напишу в общем)
Если цикл вида:
For i:=1 to n do
то цикл будет производиться от 1 до n раз. В данном случае n раз.

Если цикл вида:
While true do (цикл с предусловием)
либо
do while (цикл с постусловием)
то цикл будет производиться до тех пор, пока условие правильно. (Вместо true записывается условие)

Если цикл вида:
repeat ... until not(true); (цикл с постусловием)
то цикл будет выполняться до тех пор, пока условие ошибочно. То есть подлинное условие под общей инверсией.

2. Итог исполнения куска программки:
 y=2.0 y=1.5 y=1.2 y=1.0
3. Итог работы программы - неограниченный вывод строки:
   y=2.00
   y=2.00
   y=2.00
...
Так как сначала x=2, потом к 2 прибавили 2. А в конце мы проверяем: x=4 НЕ больше 9?, он говорит да и идет поначалу.