Note that this expression has the maximum value when the lowest level of the heap is exactly half full.
Master: a = 1, b = 3/2, f(n) = = = = , Case 2
T(n) = .