Lire trois boucles

s = 0
for k in range(1, 5):
    s = s + k
print(s)

n = 1
while n < 20:
    n = 2 * n
print(n)

T = [3, 8, 1, 9]
m = T[0]
for x in T:
    if x > m:
        m = x
print(m)

Ce qu'on montre. Qu'on lit un programme en suivant les variables tour par tour, et non en devinant son intention.

Premier programme. range(1, 5) parcourt $1,2,3,4$ — la borne haute est exclue. Les valeurs successives de s sont $$0\to 1\to 3\to 6\to 10.$$ L'affichage est $10$, c'est-à-dire $1+2+3+4$.

Deuxième programme. n part de $1$ et double à chaque tour tant qu'il est strictement inférieur à $20$ : $$1\to 2\to 4\to 8\to 16\to 32.$$ Après le passage à $16$, la condition $16<20$ est encore vraie, donc un tour de plus donne $32$ ; la condition $32<20$ est alors fausse et la boucle s'arrête. L'affichage est $32$, et non $16$.

Troisième programme. m est initialisée à T[0] = 3, puis remplacée chaque fois qu'un élément plus grand apparaît : $$3(x=3,\text{pas de changement})\to 8(x=8)\to 8(x=1)\to 9(x=9).$$ L'affichage est $9$ : le programme calcule le maximum de la liste.

Point délicat. Le deuxième est celui où l'on se trompe : la condition d'une boucle while est testée avant le tour, jamais après. La valeur finale de n est donc la première puissance de $2$ qui atteint ou dépasse $20$ — la sortie de boucle se fait toujours avec la condition fausse.