Big-Theta表示法中以下嵌套循环的时间复杂度是多少？

Question

for (int i = 1; i < n; i++)
    for (int j = i; j < n; j *= 2)
        for (int k = j; k < n; k *= 2);

我知道时间复杂度 O（n.log ² （n）），但我想用Big-Theta表示法，并想知道如何证明这确实是时间的复杂性。