Если k≥4k≥4,
то k!k! делится 2m2m, где m>k/2m>k/2, а поскольку 2nk−1−32nk−1−3 нечетно, то n>2k/2n>2k/2.
Остался случай k<4k<4.
