[math-fun] Root-factorial representation?