login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A011776 a(1) = 1; for n > 1, a(n) is defined by the property that n^a(n) divides n! but n^(a(n)+1) does not. 16

%I #70 Oct 27 2023 19:42:27

%S 1,1,1,1,1,2,1,2,2,2,1,5,1,2,3,3,1,4,1,4,3,2,1,7,3,2,4,4,1,7,1,6,3,2,

%T 5,8,1,2,3,9,1,6,1,4,10,2,1,11,4,6,3,4,1,8,5,9,3,2,1,14,1,2,10,10,5,6,

%U 1,4,3,11,1,17,1,2,9,4,7,6,1,19,10,2,1,13,5,2,3,8,1,21

%N a(1) = 1; for n > 1, a(n) is defined by the property that n^a(n) divides n! but n^(a(n)+1) does not.

%C From _Stefano Spezia_, Nov 08 2018: (Start)

%C It appears that a(n) = 1 when n = 4 or a prime number (see A175787).

%C It appears that a(n) = 2 for n in A074845. (End)

%D Ivan Niven, Herbert S. Zuckerman and Hugh L. Montgomery, An Introduction to the Theory Of Numbers, Fifth Edition, John Wiley and Sons, Inc., NY 1991.

%D J. Roberts, Lure of the Integers, Math. Assoc. America, 1992, p. 251.

%H Alois P. Heinz, <a href="/A011776/b011776.txt">Table of n, a(n) for n = 1..10000</a> (terms 1..1000 from T. D. Noe)

%H P. Shui, <a href="http://www.jstor.org/stable/40378569">A footnote on the number of times n goes into n!</a>, The Mathematical Gazette 93:528 (2009), pp. 492-495.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Factorial.html">Factorial</a>

%H <a href="/index/Fa#factorial">Index entries for sequences related to factorial numbers</a>

%e 12^5 divides 12! but 12^6 does not so a(12)=5.

%p a := []; for n from 2 to 200 do i := 0: while n! mod n^i = 0 do i := i+1: od: a := [op(a),i-1]; od: a;

%p # second Maple program:

%p f:= proc(n, p) local c, k; c, k:= 0, p;

%p while n>=k do c:= c+iquo(n, k); k:= k*p od; c

%p end:

%p a:= n-> min(seq(iquo(f(n, i[1]), i[2]), i=ifactors(n)[2])): a(1):=1:

%p seq(a(n), n=1..100); # _Alois P. Heinz_, Oct 04 2012

%t Do[m = 1; While[ IntegerQ[ n!/n^m], m++ ]; Print[m - 1], {n, 1, 100} ]

%t HighestPower[n_,p_] := Module[{r,s=0,k=1}, While[r=Floor[n/p^k]; r>0, s=s+r; k++ ];s]; SetAttributes[HighestPower,Listable]; Join[{1}, Table[{p,e}=Transpose[FactorInteger[n]]; Min[Floor[HighestPower[n,p]/e]], {n,2,100}]] (* _T. D. Noe_, Oct 01 2008 *)

%t Join[{1},Table[IntegerExponent[n!,n],{n,2,500}]] (* _Vladimir Joseph Stephan Orlovsky_, Dec 26 2010 *)

%t f[n_, p_] := Module[{c=0, k=p}, While[n >= k , c = c + Quotient[n, k]; k = k*p ]; c]; a[1]=1; a[n_] := Min[ Table[ Quotient[f[n, i[[1]]], i[[2]]], {i, FactorInteger[n] }]]; Table[a[n], {n, 1, 100}] (* _Jean-François Alcover_, Oct 03 2013, after _Alois P. Heinz_'s Maple program *)

%o (Haskell)

%o a011776 1 = 1

%o a011776 n = length $

%o takeWhile ((== 0) . (mod (a000142 n))) $ iterate (* n) n

%o -- _Reinhard Zumkeller_, Sep 01 2012

%o (PARI) a(n)=valuation(n!,n) \\ _Charles R Greathouse IV_, Apr 10 2014

%o (PARI) vp(n,p)=my(s); while(n\=p, s+=n); s

%o a(n)=if(n==1,return(1)); my(f=factor(n)); vecmin(vector(#f~, i, vp(n,f[i,1])\f[i,2])) \\ _Charles R Greathouse IV_, Apr 10 2014

%Y Cf. A011777, A011778, A133481, A000142, A074845.

%Y Diagonal of A090622.

%Y Cf. A175787 (primes together with 4).

%K nonn,easy,look,nice

%O 1,6

%A _Robert G. Wilson v_

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 25 03:15 EDT 2024. Contains 371964 sequences. (Running on oeis4.)