= a NlogN + bN + C
= a NlogN + O(N)
( a NlogN => leading term)
(each step half input)
(divide and conquer)
(recurrent relation)