Merge (arr, l, m, r) is a key process that takes two sorted sub-arrays, arr[lm] and arr[m+1r], and merges them into two