Repeat - цикл с постусловием, т.е. обязательно произойдет хотя бы одна итерация. После слова until дано условие выхода из цикла: i не больше единицы. Соответственно, после первой итерации получаем:
s = 1
i = 0
После этого выполняется проверка на выход из цикла. 0 <= 1 - верно. Следовательно, программа выходит из цикла.<br>Ответ: s = 1, i = 0