User blog comment:Nayuta Ito/Ita-Chihaya number/@comment-25420430-20140823153737/@comment-24509095-20140823163506

We can use SH(N,a,x) = SH(N,a-1,SH(N,a,x-1)) to avoid a non-terminating non-factorial-like recursion