Эн факториал сразу сокращу чтобы меньше было:
Из правой части явно n должно быть больше 3, из левой больше 5.
20 без остатка делится на 1, 4, 5, 10 и 20 ... то есть n 4, 7, 8, 13 и 23, , логично начать с чисел полегче.
Методом подбора :
4: меньше 5, не подходит
7: нет
8: подходит, близкое очень значение. По логике тут надо сократить до целого числа - тогда точно совпадает.
n=8