Легко видеть, что после двух итераций наименьшее из чисел становится как минимум вдвое меньше.Если в начале он был равен m, то после 2K итераций он будет не более m / 2 ^ K.Если мы поместим здесь K = [log_2 (m)] + 1, мы увидим, что после 2K итераций наименьшее из чисел становится равным нулю, и цикл завершается.Следовательно, число итераций не более 2 (log_2 m + 1) = O (log m).