n+1 pigeons into n boxes → collision guaranteed · why rationals repeat · runs locally
if n+1 objects go into n containers, some container has ≥2 · rational decimal repeats: only n−1 possible remainders mod n → pigeonhole forces a repeated remainder → cycle → repeat