clrs; problem 8.6 - lower bound on merging sorted lists