Niezmiennik pętli

Mam pętlę

int k=1,p,n;

p=n;

while(p>0)
{
k=k+1;
p=p-m;
}
 

Czy wynikiem działania będzie sufit z dzielenia m/n ? I jak sformułować niezmiennik pętli?

Podawaj założenia, odpowiedź mocno zależy od tego czy p,n > 0.
Jeśli są, to wynikiem jest p = (reszta z dzielenia n/m) - m, a niezmiennikiem p+k*m.

A co traktujemy jako wynik ? Pewnie zmienną "k" masz na myśli ?