Correct answer: T(n) = Θ(n log log n)
The recurrence relation indicates that the function T(n) grows based on the size of n and its logarithmic factors, specifically due to the repeated halving of n (as seen in T(√n)). This leads to a complexity that is proportional to n multiplied by the logarithm of the logarithm of n, hence T(n) = Θ(n log log n) is the correct characterization.