Сумма начальных значений переменных a и b меньше 40, поэтому цикл выполнится хотя бы один раз.

Значения переменных, от которых зависит истинность условия повторений, изменяются в сторону увеличения, сумма их сравнивается с положительным числом, поэтому цикл обязательно закончится.

На четвертом шаге значение суммы переменных a и b равно 37, т.е. условие выполнится, и значения переменных a и b еще раз увеличатся.