User blog comment:DrCeasium/new hyperfactorial array notation/@comment-5150073-20130416230152/@comment-5150073-20130417193540

Yes, Saibian called that "naive upper bound".