Give a complete justification of Theorem 4.1, which says: "The merge-sort tree associated with an execution of merge-sort on a sequence of size n has height ceil(logn)."
------------------
Juztyn
Taking credit for: Canyon Stream, Higher Ground, The Space Between, Death's Dome (mlp3), bits of JKRPG, and the entire Showcase forum, damnit!... Visit SWGalaxies.net for the latest Star Wars: Galaxies information!
                
                
                    ------------------
Juztyn
Taking credit for: Canyon Stream, Higher Ground, The Space Between, Death's Dome (mlp3), bits of JKRPG, and the entire Showcase forum, damnit!... Visit SWGalaxies.net for the latest Star Wars: Galaxies information!
******
I beat the internet. The last guy was hard.
                
            I beat the internet. The last guy was hard.
 


![http://forums.massassi.net/html/tongue.gif [http://forums.massassi.net/html/tongue.gif]](http://forums.massassi.net/html/tongue.gif)

![http://forums.massassi.net/html/frown.gif [http://forums.massassi.net/html/frown.gif]](http://forums.massassi.net/html/frown.gif)