És akkor az embert ne üsse meg a guta, hogy hülyeségeket írt a TDK dolgozatában. Legalább a formalizmus meg a bizonyítás jónak tűnik: ott még a kezdeti last[]={0,0,0,0} helyett végtelennel volt inicializálva a dolog (és így akkor az ifben is végtelennel volt vizsgálva), csak a kódban "egyszerűsítettem" a hülye eszemmel.
Köszönöm az észrevételt, pasa_!
Encsé