Количество шагов в каждом возможном пути 20 на 20 клеток(21 на 21, так как шаги происходят между клеток) из верхнего левого угла в нижний правый будет 40. так как у нас только 2 варианта шага - вниз и вправо, их можно обозначить как 0 и 1.
По сути это количество возможных комбинаций для длины в 40 знаков состоящей строго поровну из 20 единиц и 20 нулей. Например для 2 на 2 (3 на 3) длина пути - 6 шагов, для 4 на 4 (5 на 5) - 8. для 20 на 20 (21 на 21) - 40. И все бы хорошо, но itertools уводит систему в нокаут рассчитывая все возможные последовательности из 0 и 1 длиной 40 ...