Complétez la postcondition de cette boucle while : { n >= 0 } i = 0; while (i < n) { i++; } { ??? }

while (i < n) { i++; }

Précondition {P} :

Écrivez la précondition. Format : 0 <= |x|

Valider