product(i, (i, 1, k), (k, 1, n))