Zählschleife

[Nikolas]

Du kannst die Anweisung for x=n to m auch so lesen: Für jedes (natürliche) Element in dem Intervall [n,...,m] mache folgendes:...

Damit ist auch klar, dass eine Schleife for i:=3 to 2 nicht ausgeführt wird. Hier geht es um Element im Intervall [3,2] und dieses ist nach Definition Null. (es gibt keine Elemente mit 3<x<2, da "<" als totale Ordnung transitiv ist).

Und dann ist genau die Null in der Menge [0]. Alternativ auch so:
Setzt die Zählvariable auf die untere G, wenn sie dann noch nicht größer als die oberere Schranke ist, führe die Schleife aus, inkrementiere den Zähler, und vergleiche wieder mit der oberen Grenze.