Да, я вот не сразу понял, что для ББ это именно алгоритм... с записью ЦД на О-07... где-то с полминуты пытался въехать, как IF должен сочетаться с ELSIF на КП...

Кстати, в теле IF описка - круглая скобка инкремента не закрыта.

В комментарии у инварианта скобки разные - но это, я так понимаю, потому что запись математическая и имеется в виду интервал со вхождением одной из границ?..

У программиста, видимо, получится по принципу того, с чего начиналсяэтот пример- т.е. с дополнительными индексными переменными и операциями над ними.