Nομίζω ότι θα πρέπει, αφού απουσιάζει κάποια επεξήγηση, να σταθούμε στην σημειογραφία του βιβλίου. Δεν πιστεύω δηλαδή ότι η αύξηση του μετρητή είναι ισοδύναμη με το i <- i + 1 στο context της Για, οπότε αξιωματικά θα πρέπει να πάρουμε αυτό που αναφέρει το βιβλίο.
Τώρα εαν υπάρξει ερώτηση Σ-Λ που θα εξετάζει κάτι τέτοιο, θα πρέπει να ζητάει τη σύγκριση της ασυμπτωτικής συμπεριφοράς δύο αλγορίθμων με τις δύο διαφορετικές επαναλήψεις οπότε και να μην μας απασχολήσει κάτι τόσο βλακώδες.