The algorithm is correct because each step introduces an additive error of at most cs/N and N steps together introduce the error of at most cs.
Algoritam je korektan jer svaki korak uvodi grešku za najviše cs/N i N koraka zajedno uvodeći grešku za najviše cs.