при n = 2:
по началу i равен одному, а S нулю. Далее i <= n, то есть 1 <= 2, ответ да. К S прибавляется i, и S будет равен одному. Еще к i прибавляется 2, и i становится тройкой. Возвращаемся к началу алгоритма, но с новыми значениями, i у нас равен трем, а S равен одному. Далее проверяется условие i <= n, то есть 3<=2. ответ нет, и выводится ответ S. А S равен однерке.
ответ: 1
