The HW question, on page 362 of *Data Structures and Algorithms in C++*: Fourth Editionby Mark Allen Weiss, reads as follows:

Prove that merging two sorted arrays of

Nitems requires at least 2 *N– 1 comparisons. You must show that if two elements in the merged lists are consecutive and from different lists, then they must be compared

If we are trying to find the lower bound then wouldn’t the number of comparisons be *N*, not 2 * *N* – 1? If the largest element is some array *A*is smaller than the smallest element in some array *B* then at most you would only have to do N comparisons since after all of *A*‘s elements are placed in the merged array then the remaining elements in *B*‘s can simply be appended in to the merged array.

The lower bound has to be something that is true for every possible *N* and every possible combination of elements in both arrays, right? 2 * *N* – 1 seems more like it would be the **upper bound** since there is no way there can be more comparisons than that.

Note: I am not asking for an answer to the HW question itself as I know that is deprecated. I am confused about the implied assertion the question is making about the lower bound