[Algorytmy] Dowód poprawności algorytmu.

[peterek]

Jak dowieść poprawność poniższego algorytmu metodą niezmienników?
Z góry dziękuję za pomoc.

Kod: Zaznacz cały

i = 1;
s = 1;

while(i<=n)
{
    s = s * i;
    i++;
}

[jarzabek89]

Żeby cokolwiek udowadniać trzeba wiedzieć co dany algorytm ma robić, a tutaj tego nie ma.