https://9dok.net/document/zgwj5427-a-hyperfactorial-divisibility.html