Solve the recurrence F(n) >= F(sqrt(n)) + lg n