I just realized I never explained how that function is related to the exponential factorial. The exponential factorial is defined as where , which is a univariate function. To make this function from the function above, you can first notice the pattern in its iterates:

where c could theoretically be anything, since . And since I haven't indicated whether we are using 0-based or 1-based vectors, I'm going to use another contraction to get the top value:

Now it should be obvious from this that which begs the question in my Conjectures post: what is EF(0)?

Andrew Robbins

where c could theoretically be anything, since . And since I haven't indicated whether we are using 0-based or 1-based vectors, I'm going to use another contraction to get the top value:

Now it should be obvious from this that which begs the question in my Conjectures post: what is EF(0)?

Andrew Robbins