vadimr

Не очень понятно, что вы в данном случае называете доказательством правильности. С формальной точки зрения, тут надо начинать доказывать с того, что представления чисел в вашей машине образуют строго упорядочиваемую операцией ">" последовательность, а это, кстати, неправда (для примера рассмотрим прямоугольники с размерами, равными NaN).

В общем виде, как вы её сформулировали, эта задача неразрешима. Надо исследовать саму функцию и её машинное представление. Вся наука численных методов именно об этом.

Согласен с Wataru. Очень многое зависит от длины паттерна и от статистики распределения данных. Также решение зависит от архитектуры процессора. В общем, мало данных.

Вы хотите понять рекурсию, или как её обрабатывает процессор компьютера? Это разные вещи. В отладчике вы видите второе, фактически проекцию рекурсии на машинный язык, где рекурсия превращается в циклический алгоритм с использованием стека. На данном начальном этапе вы сами себя запутываете отладчиком.