def majority$($A$)$:

$\text{'}\text{'},$

Pre: A is a list with more than half its entries equal to x

Post: Returns the majority element x

$\text{'}\text{'}\text{'}$

c $=1$

m $=$ A$[0]$

i $=1$

while i len$($A$)-1$:

if c $==0$:

m $=$ A$[$i$]$

c $==1$

else if A$[$i$]==$ m:

c $+=1$

else:

c $-=1$

i $+=1$

return m

Can anyone please help me with determining the loop invariant? I literally have no idea.