Algorithmique et raisonnement

si condition alors A sinon B : une seule branche s'exécute.

$n \leftarrow 0$ ; $s \leftarrow 0$

Conjecture avec 2-3 exemples.

Traduis avec des lettres (différentes si les nombres le sont).

Un entier pair s'écrit $2n$, un entier impair $2n + 1$ ($n$ entier).

L'affirmation dit « toujours » ?

Avant la boucle, initialise ; dans la boucle, modifie ; après, lis le résultat.