%I #8 Sep 01 2024 09:37:39
%S 1,1,1,1,1,2,2,2,6,12,12,12,12,12,12,24,24,144,144,720,720,720,720,
%T 1440,1440,1440,4320,60480,60480,60480,60480,120960,120960,241920,
%U 1209600,3628800,3628800,3628800,3628800,7257600
%N Greatest k such that k^4 divides n!
%C Every term divides all its successors.
%H Clark Kimberling, <a href="/A248765/b248765.txt">Table of n, a(n) for n = 1..1000</a>
%H Rafael Jakimczuk, <a href="https://doi.org/10.12988/imf.2017.7542">On the h-th free part of the factorial</a>, International Mathematical Forum, Vol. 12, No. 13 (2017), pp. 629-634.
%F From _Amiram Eldar_, Sep 01 2024: (Start)
%F a(n) = A053164(n!).
%F a(n) = (n! / A248766(n))^(1/4) = A248764(n)^(1/4).
%F log(a(n)) = (1/4)*n*log(n) - (2*log(2)+1)*n/4 + o(n) (Jakimczuk, 2017). (End)
%e a(6) = 2 because 2^4 divides 6! and if k > 2 then k^4 does not divide 6!.
%t z = 40; f[n_] := f[n] = FactorInteger[n!]; r[m_, x_] := r[m, x] = m*Floor[x/m];
%t u[n_] := Table[f[n][[i, 1]], {i, 1, Length[f[n]]}];
%t v[n_] := Table[f[n][[i, 2]], {i, 1, Length[f[n]]}];
%t p[m_, n_] := p[m, n] = Product[u[n][[i]]^r[m, v[n]][[i]], {i, 1, Length[f[n]]}];
%t m = 4; Table[p[m, n], {n, 1, z}] (* A248764 *)
%t Table[p[m, n]^(1/m), {n, 1, z}] (* A248765 *)
%t Table[n!/p[m, n], {n, 1, z}] (* A248766 *)
%t f[p_, e_] := p^Floor[e/4]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n!]; Array[a, 30] (* _Amiram Eldar_, Sep 01 2024 *)
%o (PARI) a(n) = {my(f = factor(n!)); prod(i = 1, #f~, f[i, 1]^(f[i, 2]\4));} \\ _Amiram Eldar_, Sep 01 2024
%Y Cf. A000142, A053164, A248762, A248764, A248766.
%K nonn,easy
%O 1,6
%A _Clark Kimberling_, Oct 14 2014