Нахождение временной сложности рекурсивной функции с использованием индукции

Question

У меня есть рекурсивная функция:

void review_func(double val){
   if(val>=1.0){
      review_func(val/2.0)
   }
}

Мне удалось решить его временную сложность, используя индукцию и основную теорему. Однако я довольно сомневаюсь относительно результата, который я получил от использования индукции, мое решение показано ниже:

Я готовлюсь к экзамену и испытываю трудности со временем и пространственными сложностями. любая помощь и совет будет принята с благодарностью.