n_factorial_times_k