Получить упорядоченный по неубыванию массив методом слияния двух упорядоченных по невозрастанию массивов

T[] Merge<T>(T[] a, T[] b) where T : IComparable<T>
{
   T[] c = new T[a.Length + b.Length];
 
   int i = 0, j = 0, k = 0;
   while (i < a.Length && j < b.Length) c[k++] = a[i].CompareTo(b.Length) < 0 ? a[i++] : b[j++];
   while (i < a.Length) c[k++] = a[i++];
   while (j < b.Length) c[k++] = b[j++];
 
   return c;
}

T[] Merge<T>(T[] a, T[] b) where T : IComparable<T>
{
   T[] c = new T[a.Length + b.Length];
 
   int i = a.Length - 1, j = b.Length - 1, k = 0;
   while (i >= 0 && j >= 0) c[k++] = a[i].CompareTo(b[j]) < 0 ? a[i--] : b[j--];
   while (i >= 0) c[k++] = a[i--];
   while (j >= 0) c[k++] = b[j--];
 
   return c;
}

using System;
using static System.Console;
 
namespace Lab
{
    class Program
    {
        static readonly Random rand = new Random();
 
        static void Main()
        {
            var arr1 = GenerateRandomDescendingArray(0, 100, rand.Next(10, 20));
            var arr2 = GenerateRandomDescendingArray(50, 150, rand.Next(5, 25));
            var arr3 = Merge(arr1, arr2);
 
            Func<int[], string> join = arr => string.Join(", ", arr);
            WriteLine($"Первый массив: {join(arr1)}");
            WriteLine($"Второй массив: {join(arr2)}");
            WriteLine($"Третий массив: {join(arr3)}");
 
            ReadLine();
        }
 
        static int[] GenerateRandomDescendingArray(int min, int max, int size)
        {
            if (size < 0) throw new ArgumentException(nameof(size));
 
            var array = new int[size];
            for (int i = 0; i < array.Length; i++)
                array[i] = rand.Next(min, max);
 
            Array.Sort(array, (x, y) => -x.CompareTo(y));
 
            return array;
        }
 
        static T[] Merge<T>(T[] a, T[] b) where T : IComparable<T>
        {
            T[] c = new T[a.Length + b.Length];
 
            int i = a.Length - 1, j = b.Length - 1, k = 0;
            while (i >= 0 && j >= 0) c[k++] = a[i].CompareTo(b[j]) < 0 ? a[i--] : b[j--];
            while (i >= 0) c[k++] = a[i--];
            while (j >= 0) c[k++] = b[j--];
 
            return c;
        }
    }
}