Если именно n:=1 downto 5, то в итоге y=3, т.к. downto применяется от большего и с каждым шагом n уменьшатся, тут же он увеличивается и стоит downto, цикл даже не запуститься. а если n:=5 downto 1 do y:=y+n; тогдаy:=3+5, y=8y:=8+4, y=12y:=12+3, y=15y:=15+2, y=17y:=17+1, y=18y=18