Does anyone know how to consruct a proof by induction that proves MergeSort uses less than or equal to 2n*Log(n) comparisons for every n >= 2?
We assume that Merge