Состояние без сохранения не существует. На каждом шаге цикла суммирования указанной нами переменной i виртуально присваевается значение i + 1, после чего высчитывается выражение в соответствии с новым значением переменной i, затем переменная Sum увеличиватся на значение этого выражения. Эти функции - яркий пример того, как математика постепенно упирается в необходимость более свободной формализации, ведущей к алгоритмам, а значит программированию...