User blog comment:Cloudy176/Hyperfactorial array notation: Analysis part 1/@comment-5529393-20130507135540

k should have ordinal k+2. Everything else looks good.