User O_of_N_Factorial