T[n] == 2*T(Sqrt[n]) + Ld[n]