Hi, i don't know if the following visualisation is helpful:

but maybe this little proposition will make things clear:

Proof: "=>" assume for only finitely many , let be the biggest such , then for all we have . This means , so .

"<=" assume , this means there's some such that , that is, for all , so belongs to only finitely many .