Niezmiennik pętli

Co będzie niezmiennikiem takiej pętli i dlaczego?

int i=0, res=0;
while (i!=n) {
    if (a[i]==x)
         res=res+1;
    i=i+1;
} 

Zobacz do tego wątku – https://4programmers.net/Forum/C_i_C++/235722-czym_jest_niezmiennik_petli_w_moim_programie

@panstudent: Google Ci zablokowali?

@hapertown: Gdyby każdy myślał tak jak ty, to nie istniałyby fora. Jeżeli tu pytam, to znaczy, że Google nie pomogło.

W zgodzie z definicją to i >= res jest niezmiennikiem - to widać; mogłoby być i <= n , ale nie wiemy co to n, może być na przykład mniejsze od zera.