El bucle finito que nunca termina

Es fácil escribir un bucle que parece infinito pero que en realidad termina bastante rápido; por ejemplo en C tendríamos for (int i = 1; i > 0; i++); donde la variable i empieza en 1 y va aumentándose de forma "infinita", pero en realidad el bucle termina ya debido a un overflow del tipo integer que vuelve a i negativo. Una discusión reciente me llevó a plantearme el problema contrario. ¿Podemos escribir un bucle finito (teóricamente) pero que esté garantizado que nunca vaya a completarse? En inglés