正確に言えば「Iが2になると終了」ではなく「Iが3になったら、処理を実行せずに終了」です。NEXTの直後で「?I」とやってみるとわかります。 もし、NEXTの直後でIが3未満なら、BREAKなどでFORループを途中で離脱したことを意味します。