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) = .