un loop necessariamente è infinito a meno di condizioni che lo fermino