Объяснение:



При вызове функции rq() проверяется, равняется ли значение farg значению targ + 5. И до тех пор, они не равны друг другу, функция вновь вызывается с немного изменёнными аргументами: из farg вычитается 1, sarg умножается на 2, а targ никак не меняется.



На момент, когда условие в if будет верным, значение sarg будет равняться 8. Именно в этот момент мы и выйдем из всех «ступеней» rq().