IterFact := proc( n :: nonnegint )
        local   i;
        mul( i, i = 2 .. n )
end proc: