будет массив Na=(2, 1, 0, 1, 0, 0,...). Еще такой же массив отводишь под сами простые числа. После получения разложения N начинается цикл: берем очередное число i и из Na вычитаем его разложение (пробегаемся по простым числам, если i делится, то делим и вычитаем 1 в соотв. элементе массива, пробуем снова). Цикл заканчивается, когда все элементы Na отрицательны или равны 0, это значит, что факториал последнего i содержит все простые числа в степени не меньшей чем N, т.е. i! делится на N.