Visto che il valore di n lo modifichi costantemente all'interno del ciclo while, aumentandolo, la condizione risulterà falsa solo quando avrai un overflow di intero (quel numero negativo che ottieni ne è la prova).