User blog comment:DrCeasium/Named hyperfactorial numbers/@comment-29955240-20180515013812/@comment-32697988-20180515124444

Yes