Споделям тук и едно решение, в което добавям директно в първия List, започвайки с първият му елемент, както е по условие. Използвам метод който приема списъци с всякакъв тип елементи -  generic <T> за по-универсално. Особеното е, че трябва да се съобрази нарастването на първия списък със всяко добавяне на елемент от втория. Т.е.

 i = 0 1 2 3 4 ... n - брояч на цикъла до по-малката дължина взема всеки пореден индекс от втория списък;

      1 3 5 7 9 ... n + n + 1 - съответно индексите на първия списък, на които трябва да се вмъкне пореден елемент от втория;

Вижда се, че поредицата на всеки втори индекс от първия списък е: 2 * i + 1

Цикъла върти до по-малката дължина докато не ги вмести един след друг, но работи и при равни такива. Ако има останали елементи в първия списък (т.е. той е по-голям) те остават в края му. Ако втория списък е по-голям, трябва неговите оставащи елементи да се Add-нат последователно към първия с цикъл от последния вместен елемент до дължината втория списък.

https://pastebin.com/KEgszUnd