The product of all positive integers starting with n and counting backward to 1.