если хочешь логичного объяснения то тогда держи, если у тебя куча итераций то каждый раз будет проверка на меньше или на равно, програмно это две разные проверки, если ты делаешь только меньше то будет только одна проверка на меньше всегда, ну и соответственно на миллиарде итераций ты сделаешь практически в 2 раза меньше проверок. как то так