Перевожу задачу на русский язык:
Найти сумму чисел: , используя пред- и постусловие.
Код (на картинке, язык — Pascal):