product_(k=n)^1 k