User blog comment:DrCeasium/Hyperfactorial array notation: Analysis part 2/@comment-7484840-20130530171941/@comment-5529393-20130531165811

Ugh. Are you sure your rules always terminate?

Okay, let me look at [1] w/ [2]

n![1] w/ [2] = n![1,1,2] w/ [1] = n![1, [1] w/ [1]] w/ [1] = n![1, [1] w/ n] w/ [1] = n![1, [1,...,1,2]] w/ [1] (with n 1's) = n! [1, [n, n-1, n-1,...,n-1]] w/[1] (with n-1 n-1's)

Can you tell me what the next step is?