Master theorem:
...

general formula is:
we assume and because otherwise we can't solve for .

we have 3 cases for every :
...

now by knowing this we can guess for any function and then prove it by induction for our initial guess.