Вы должны заменить
counter = counter + (m - i)
на
counter = counter + (n1 - i)
Иллюстрация: Предположим, левый массив L с номерами 1, 6, 8, 9 и правый массив R с номерами 4, 5, 7. Ниже показаны итерации цикла для одного шага рекурсии:
![enter image description here](https://i.stack.imgur.com/FkzGD.jpg)
Как правило, вы можете отсортировать массив, выполнив инверсиив другом порядке.Тем не менее, минимальное количество инверсий, необходимых для сортировки, является однозначным и, следовательно, не зависит от этого порядка.Поскольку алгоритм использует одну из этих альтернативных последовательностей, он обеспечивает однозначное минимальное количество инверсий.В частности, это означает, что инверсия не учитывается дважды или не учитывается.
Алгоритм предусматривает для вашего массива {2, 4, 1, 3, 5} минимальное количество из 3 инверсий в общей сложности: (4, 1),(4, 3) и (2,1).