Если вы используете дерево для визуализации вопроса, вы увидите, что сумма каждого ранга равна:

(что равно n / log (n))
- ранг 1:

и так далее, с общей суммой n/log(n/(3^i))
для каждого ранга, где i - текущий ранг. итак, все вместе мы получаем:

если мы откроем уравнение, то получим:

(начиная с конца и возвращаясь назад .. сначала, когда i = log (base3) n, а затем возвращаясь)
так как база лога не имеет значения в тэте, мы получаем:

, что:

который (в сигме):

- гармонический ряд, равный:

и так как ln - это log с базой e, а базы тэгов не имеют значения в theta, мы наконец получаем:

, что равно:

Итак, это тета (n log log n).