Complejidad para bucles anidados divididos por 2

Estoy tratando de averiguar la complejidad de un bucle for utilizando la notación Big O. He hecho esto antes en mis otras clases, pero esta es más rigurosa que las otras porque está en el algoritmo real. El código es el siguiente:

for(i=n ; i>1 ; i/=2) //for any size n
{
    for(j = 1; j < i; j++)
    {
      x+=a
    }
}

He llegado que el primer bucle es de O (log_2 (n)). En cuanto al segundo bucle estoy un poco perdido! Gracias por la ayuda en el análisis.

Respuestas a la pregunta(3)

Su respuesta a la pregunta