A011371 -id:A011371 - cp's OEIS frontend

A071626 Number of distinct exponents in the prime factorization of n!.

0, 1, 1, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 8, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 11, 11, 11, 11, 11, 11, 11, 11

Offset: 1

Labos Elemer, May 29 2002

Erdős proved that there exist two constants c1, c2 > 0 such that c1 (n / log(n))^(1/2) < a(n) < c2 (n / log(n))^(1/2). - Carlo Sanna, May 28 2019

R. Heyman and R. Miraj proved that the cardinality of the set { floor(n/p) : p <= n, p prime } is same as the number of distinct exponents in the prime factorization of n!. - Md Rahil Miraj, Apr 05 2024

			n=7: 7! = 5040 = 2*2*2*2*3*3*5*7; three different exponents arise: 4, 2 and 1; a(7)=3.
n=7: { floor(7/p) : p <= 7, p prime } = {3,2,1}. So, its cardinality is 3. - _Md Rahil Miraj_, Apr 05 2024

David A. Corneth, Table of n, a(n) for n = 1..10000
Thomas Bloom, Problem 912, Erdős Problems. See Terence Tao's 31 August 2025 comment.
Paul Erdős, Miscellaneous problems in number theory, Proceedings of the Eleventh Manitoba Conference on Numerical Mathematics and Computing (Winnipeg, Man., 1981), Congressus Numerantium 34 (1982), 25-45.
Randell Heyman and Md Rahil Miraj, On some floor function sets, arXiv:2309.16072 [math.NT], 2023-2024.
Terence Tao, Erdős problem database, see no. 912.

Cf. A051903, A051904, A071625, A240751.
Cf. A000142, A001221, A001222, A011371, A022559, A076934, A115627, A135291.
Cf. A325272, A325273, A325276, A325508.

ffi[x_] := Flatten[FactorInteger[x]] lf[x_] := Length[FactorInteger[x]] ep[x_] := Table[Part[ffi[x], 2*w], {w, 1, lf[x]}] Table[Length[Union[ep[w! ]]], {w, 1, 100}]
Table[Length[Union[Last/@If[n==1,{},FactorInteger[n!]]]],{n,30}] (* Gus Wiseman, May 15 2019 *)

a(n) = #Set(factor(n!)[, 2]); \\ Michel Marcus, Sep 05 2017

a(n) = A071625(n!) = A323023(n!,3). - Gus Wiseman, May 15 2019

A092391 a(n) = n + wt(n), where wt(n) = A000120(n) = binary weight of n.

Original entry on oeis.org

0, 2, 3, 5, 5, 7, 8, 10, 9, 11, 12, 14, 14, 16, 17, 19, 17, 19, 20, 22, 22, 24, 25, 27, 26, 28, 29, 31, 31, 33, 34, 36, 33, 35, 36, 38, 38, 40, 41, 43, 42, 44, 45, 47, 47, 49, 50, 52, 50, 52, 53, 55, 55, 57, 58, 60, 59, 61, 62, 64, 64, 66, 67, 69, 65, 67, 68, 70, 70, 72, 73, 75

Offset: 0

Reinhard Zumkeller, May 08 2004

Reinhard Zumkeller and Donovan Johnson, Table of n, a(n) for n = 0..10000 (terms up to a(1023) from Reinhard Zumkeller)
Max A. Alekseyev and N. J. A. Sloane, On Kaprekar's Junction Numbers, arXiv:2112.14365, 2021; Journal of Combinatorics and Number Theory 12:3 (2022), 115-155.
Index entries for Colombian or self numbers and related sequences

A010061 gives the numbers not occurring in this sequence. A228082 gives the terms of this sequence sorted into ascending order, with duplicates removed. A228085(n) gives the number of times n occurs in this sequence.
Cf. A000120, A228083, A228086, A228087, A228091, A011371, A230058, A230092, A062028.
Cf. A228088, A230091, A227915, A230300.

a092391 n = n + a000120 n  -- Reinhard Zumkeller, May 13 2012

Table[n + Total[IntegerDigits[n, 2]], {n, 0, 100}] (* Jean-François Alcover, Sep 03 2013 *)

A092391(n)=n+hammingweight(n) \\ M. F. Hasler, Oct 05 2013

def a(n): return n + bin(n).count("1")
print([a(n) for n in range(72)]) # Michael S. Branicky, May 26 2022

a(n) = n + A000120(n).
A010062(n+1) = a(A010062(n)).
G.f.: (1/(1 - x))*Sum_{k>=0} (2^k + 1)*x^(2^k)/(1 + x^(2^k)). - Ilya Gutkovskiy, Jul 23 2017

A089633 Numbers having no more than one 0 in their binary representation.

Original entry on oeis.org

0, 1, 2, 3, 5, 6, 7, 11, 13, 14, 15, 23, 27, 29, 30, 31, 47, 55, 59, 61, 62, 63, 95, 111, 119, 123, 125, 126, 127, 191, 223, 239, 247, 251, 253, 254, 255, 383, 447, 479, 495, 503, 507, 509, 510, 511, 767, 895, 959, 991, 1007, 1015, 1019, 1021, 1022, 1023

Offset: 0

Reinhard Zumkeller, Jan 01 2004

Complement of A158582. - Reinhard Zumkeller, Apr 16 2009
Also union of A168604 and A030130. - Douglas Latimer, Jul 19 2012
Numbers of the form 2^t - 2^k - 1, 0 <= k < t.
n is in the sequence if and only if 2*n+1 is in the sequence. - Robert Israel, Dec 14 2018
Also the least binary rank of a strict integer partition of n, where the binary rank of a partition y is given by Sum_i 2^(y_i-1). - Gus Wiseman, May 24 2024

			From _Tilman Piesk_, May 09 2012: (Start)
This may also be viewed as a triangle:             In binary:
                  0                                         0
               1     2                                 01       10
             3    5    6                          011      101      110
           7   11   13   14                  0111     1011     1101     1110
        15   23   27   29   30          01111    10111    11011    11101    11110
      31  47   55   59   61   62
   63   95  111  119  123  125  126
Left three diagonals are A000225,  A055010, A086224. Right diagonal is A000918. Central column is A129868. Numbers in row n (counted from 0) have n binary 1s. (End)
From _Gus Wiseman_, May 24 2024: (Start)
The terms together with their binary expansions and binary indices begin:
   0:      0 ~ {}
   1:      1 ~ {1}
   2:     10 ~ {2}
   3:     11 ~ {1,2}
   5:    101 ~ {1,3}
   6:    110 ~ {2,3}
   7:    111 ~ {1,2,3}
  11:   1011 ~ {1,2,4}
  13:   1101 ~ {1,3,4}
  14:   1110 ~ {2,3,4}
  15:   1111 ~ {1,2,3,4}
  23:  10111 ~ {1,2,3,5}
  27:  11011 ~ {1,2,4,5}
  29:  11101 ~ {1,3,4,5}
  30:  11110 ~ {2,3,4,5}
  31:  11111 ~ {1,2,3,4,5}
  47: 101111 ~ {1,2,3,4,6}
  55: 110111 ~ {1,2,3,5,6}
  59: 111011 ~ {1,2,4,5,6}
  61: 111101 ~ {1,3,4,5,6}
  62: 111110 ~ {2,3,4,5,6}
(End)

Reinhard Zumkeller, Table of n, a(n) for n = 0..10000
Vladimir Shevelev, On the Basis Polynomials in the Theory of Permutations with Prescribed Up-Down Structure, arXiv:0801.0072 [math.CO], 2007-201. See Section 14.
Vladimir Shevelev, Binomial Coefficient Predictors, Journal of Integer Sequences, Vol. 14 (2011), Article 11.2.8.
Vladimir Shevelev, The number of permutations with prescribed up-down structure as a function of two variables, INTEGERS, 12 (2012), #A1.
Index entries for sequences related to binary expansion of n.

Cf. A000120, A007088, A011371, A014132, A023416, A023532, A029931.
Cf. A181741 (primes), union of A081118 and A000918, apart from initial -1.
Cf. A065442, A160502, A265705.
For least binary index (instead of rank) we have A001511.
Applying A019565 (Heinz number of binary indices) gives A077011.
For greatest binary index we have A029837 or A070939, opposite A070940.
Row minima of A118462 (binary ranks of strict partitions).
For sum instead of minimum we have A372888, non-strict A372890.
A000009 counts strict partitions, ranks A005117.
A048675 gives binary rank of prime indices, distinct A087207.
A048793 lists binary indices, product A096111, reverse A272020.
A277905 groups all positive integers by binary rank of prime indices.
Cf. A000041, A005940, A018819, A147655, A225620, A246868.

a089633 n = a089633_list !! (n-1)
a089633_list = [2 ^ t - 2 ^ k - 1 | t <- [1..], k <- [t-1,t-2..0]]
-- Reinhard Zumkeller, Feb 23 2012

seq(seq(2^a-1-2^b,b=a-1..0,-1),a=1..11); # Robert Israel, Dec 14 2018

fQ[n_] := DigitCount[n, 2, 0] < 2; Select[ Range[0, 2^10], fQ] (* Robert G. Wilson v, Aug 02 2012 *)

{insq(n) = local(dd, hf, v); v=binary(n);hf=length(v);dd=sum(i=1,hf,v[i]);if(dd<=hf-2,-1,1)}
{for(w=0,1536,if(insq(w)>=0,print1(w,", ")))}
\\ Douglas Latimer, May 07 2013

isoka(n) = #select(x->(x==0), binary(n)) <= 1; \\ Michel Marcus, Dec 14 2018

from itertools import count, islice
def A089633_gen(): # generator of terms
    return ((1<A089633_list = list(islice(A089633_gen(),30)) # Chai Wah Wu, Feb 10 2023

from math import isqrt, comb
def A089633(n): return (1<<(a:=(isqrt((n<<3)+1)-1>>1)+1))-(1<Chai Wah Wu, Dec 19 2024

A023416(a(n)) <= 1; A023416(a(n)) = A023532(n-2) for n>1;
A000120(a(u)) <= A000120(a(v)) for uA000120(a(n)) = A003056(n).
a(0)=0, n>0: a(n+1) = Min{m>n: BinOnes(a(n))<=BinOnes(m)} with BinOnes=A000120.
If m = floor((sqrt(8*n+1) - 1) / 2), then a(n) = 2^(m+1) - 2^(m*(m+3)/2 - n) - 1. - Carl R. White, Feb 10 2009
A029931(a(n)) = n and A029931(m) != n for m < a(n). - Reinhard Zumkeller, Feb 28 2014
A265705(a(n),k) = A265705(a(n),a(n)-k), k = 0 .. a(n). - Reinhard Zumkeller, Dec 15 2015
a(A014132(n)-1) = 2*a(n-1)+1 for n >= 1. - Robert Israel, Dec 14 2018
Sum_{n>=1} 1/a(n) = A065442 + A160502 = 3.069285887459... . - Amiram Eldar, Jan 09 2024
A019565(a(n)) = A077011(n). - Gus Wiseman, May 24 2024

A049606 Largest odd divisor of n!.

Original entry on oeis.org

1, 1, 1, 3, 3, 15, 45, 315, 315, 2835, 14175, 155925, 467775, 6081075, 42567525, 638512875, 638512875, 10854718875, 97692469875, 1856156927625, 9280784638125, 194896477400625, 2143861251406875, 49308808782358125, 147926426347074375, 3698160658676859375

Offset: 0

N. J. A. Sloane, Feb 05 2000

Original name: Denominator of 2^n/n!.
For positive n, a(n) equals the numerator of the permanent of the n X n matrix whose (i,j)-entry is cos(i*Pi/3)*cos(j*Pi/3) (see example below). - John M. Campbell, May 28 2011
a(n) is also the number of binomial heaps with n nodes. - Zhujun Zhang, Jun 16 2019
a(n) is the number of 2-Sylow subgroups of the symmetric group S_n (see the Mathematics Stack Exchange link below). - Jianing Song, Nov 11 2022

			From _John M. Campbell_, May 28 2011: (Start)
The numerator of the permanent of the following 5 X 5 matrix is equal to a(5):
|  1/4  -1/4  -1/2  -1/4   1/4 |
| -1/4   1/4   1/2   1/4  -1/4 |
| -1/2   1/2    1    1/2  -1/2 |
| -1/4   1/4   1/2   1/4  -1/4 |
|  1/4  -1/4  -1/2  -1/4   1/4 | (End)

T. D. Noe, Table of n, a(n) for n = 0..100
Mathematics Stack Exchange, On the number of Sylow subgroups in Symmetric Group
Zhujun Zhang, A Note on Counting Binomial Heaps, ResearchGate, June 2019.

Numerators of 2^n/n! give A001316. Cf. A000680, A008977, A139541.
Factor of A160481. - Johannes W. Meijer, May 24 2009
Equals A003148 divided by A123746. - Johannes W. Meijer, Nov 23 2009
Different from A160624.
Cf. A011371.

[ Denominator(2^n/Factorial(n)): n in [0..25] ]; // Klaus Brockhaus, Mar 10 2011

f:= n-> n! * 2^(add(i,i=convert(n,base,2))-n); # Peter Luschny, May 02 2009
seq (denom (coeff (series(1/(tanh(t)-1), t, 30), t, n)), n=0..25); # Peter Luschny, Aug 04 2011
seq(numer(n!/2^n), n=0..100); # Robert Israel, Jul 23 2015

Denominator[Table[(2^n)/n!,{n,0,40}]] (* Vladimir Joseph Stephan Orlovsky, Apr 03 2011*)
Table[Last[Select[Divisors[n!],OddQ]],{n,0,30}] (* Harvey P. Dale, Jul 24 2016 *)
Table[n!/2^IntegerExponent[n!,2], {n,1,30}] (* Clark Kimberling, Oct 22 2016 *)

A049606(n)=local(f=n!);f/2^valuation(f,2); \\ Joerg Arndt, Apr 22 2011
(Python 3.10+)
from math import factorial
def A049606(n): return factorial(n)>>n-n.bit_count() # Chai Wah Wu, Jul 11 2022

a(n) = Product_{k=1..n} A000265(k).
a(n) = A000265(A000142(n)). - Reinhard Zumkeller, Apr 09 2004
a(n) = numerator(2*Sum_{i>=1} (-1)^i*(1-zeta(n+i+1)) * (Product_{j=1..n} i+j)). - Gerry Martens, Mar 10 2011
a(n) = denominator([t^n] 1/(tanh(t)-1)). - Peter Luschny, Aug 04 2011
a(n) = n!/2^A011371(n). - Robert Israel, Jul 23 2015
From Zhujun Zhang, Jun 16 2019: (Start)
a(n) = n!/A060818(n).
E.g.f.: Product_{k>=0} (1 + x^(2^k) / 2^(2^k - 1)).
(End)
log a(n) = n log n - (1 + log 2)n + Θ(log n). - Charles R Greathouse IV, Feb 12 2022

New name (from Amarnath Murthy) by Charles R Greathouse IV, Jul 23 2015

A294898 Deficiency minus binary weight: a(n) = A033879(n) - A000120(n) = A005187(n) - A000203(n).

Original entry on oeis.org

0, 0, 0, 0, 2, -2, 3, 0, 3, 0, 7, -6, 9, 1, 2, 0, 14, -5, 15, -4, 7, 5, 18, -14, 16, 7, 10, -3, 24, -16, 25, 0, 16, 12, 19, -21, 33, 13, 18, -12, 37, -15, 38, 1, 8, 16, 41, -30, 38, 4, 26, 3, 48, -16, 33, -11, 30, 22, 53, -52, 55, 23, 16, 0, 44, -14, 63, 8, 39, -7, 66, -53, 69, 31, 22, 9, 54, -16, 73, -28, 38, 35, 78, -59, 58

Offset: 1

Antti Karttunen, Nov 25 2017

sign

"Least deficient numbers" or "almost perfect numbers" are those k for which A033879(k) = 1, or equally, for which a(k) = -A048881(k-1). The only known solutions are powers of 2 (A000079), all present also in A295296. See also A235796 and A378988. - Antti Karttunen, Dec 16 2024

Antti Karttunen, Table of n, a(n) for n = 1..16384
Index entries for sequences related to sigma(n).

Cf. A000120, A000203, A001065, A005187, A011371, A013661, A033879, A048881, A235796, A294896, A294899, A297114 (Möbius transform), A317844 (difference from a(n)), A326133, A326138, A324348 (a(n) applied to Doudna sequence), A379008 (a(n) applied to prime shift array), A378988.

Cf. A295296 (positions of zeros), A295297 (parity of a(n)).

Array[IntegerExponent[(2 #)!, 2] - DivisorSigma[1, #] &, 85] (* Michael De Vlieger, Nov 26 2017 *)

A294898(n) = ((2*n-sigma(n))-hammingweight(n)); \\ Antti Karttunen, Dec 16 2024

(define (A294898 n) (- (A005187 n) (A000203 n)))

a(n) = A005187(n) - A000203(n).
a(n) = A011371(n) - A001065(n).
a(n) = A033879(n) - A000120(n).
Sum_{k=1..n} a(k) ~ c * n^2, where c = 1 - zeta(2)/2 = 0.177532... . - Amiram Eldar, Feb 22 2024

Name edited by Antti Karttunen, Dec 16 2024

A060818 a(n) = 2^(n - HammingWeight(n)) = 2^(n - BitCount(n)) = 2^(n - A000120(n)).

Original entry on oeis.org

1, 1, 2, 2, 8, 8, 16, 16, 128, 128, 256, 256, 1024, 1024, 2048, 2048, 32768, 32768, 65536, 65536, 262144, 262144, 524288, 524288, 4194304, 4194304, 8388608, 8388608, 33554432, 33554432, 67108864, 67108864, 2147483648, 2147483648, 4294967296

Offset: 0

Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 29 2001

a(n) is the size of the Sylow 2-subgroup of the symmetric group S_n.
Also largest power of 2 which is a factor of n! and (apart from a(3)) the largest perfect power which is a factor of n!.
Denominator of e(n,n) (see Maple line).
Denominator of the coefficient of x^n in n-th Legendre polynomial; numerators are in A001790. - Benoit Cloitre, Nov 29 2002

			G.f. = 1 + x + 2*x^2 + 2*x^3 + 8*x^4 + 8*x^5 + 16*x^6 + 16*x^7 + 128*x^8 + ...
e(n,n) sequence begins 1, 1, 3/2, 5/2, 35/8, 63/8, 231/16, 429/16, 6435/128, 12155/128, 46189/256, ... .

Harry J. Smith, Table of n, a(n) for n = 0..200
Tyler Ball, Tom Edgar, and Daniel Juda, Dominance Orders, Generalized Binomial Coefficients, and Kummer's Theorem, Mathematics Magazine, 87(2) (2014), 135-143.
V. H. Moll, The evaluation of integrals: a personal story, Notices Amer. Math. Soc., 49(3) (2002), 311-317.
Eric Weisstein's World of Mathematics, Random Walk 1-Dimensional.
Eric Weisstein's World of Mathematics, Legendre Polynomial.
Index to divisibility sequences

Cf. A000120, A005187, A001790, A011371, A334907.
a(n) = A046161([n/2]).
Row sums of triangle A100258.

[1] cat [Denominator(Catalan(n)/2^n): n in [0..50]]; // Vincenzo Librandi, Sep 01 2014
(Python 3.10+)
def A060818(n): return 1<Chai Wah Wu, Jul 11 2022

e := proc(l,m) local k; add(2^(k-2*m) * binomial(2*m-2*k,m-k) * binomial(m+k,m) * binomial(k,l), k=l..m); end;
A060818 := proc(n) option remember; `if`(n=0,1,2^(padic[ordp](n,2))*A060818(n-1)) end: seq(A060818(i), i=0..34); # Peter Luschny, Nov 16 2012
HammingWeight := n -> add(convert(n, base, 2)):
seq(2^(n - HammingWeight(n)), n = 0..34); # Peter Luschny, Mar 23 2024

Table[GCD[w!, 2^w], {w, 100}]
(* Second program, more efficient *)
Array[2^(# - DigitCount[#, 2, 1]) &, 35, 0] (* Michael De Vlieger, Mar 23 2024 *)

{a(n) = denominator( polcoeff( pollegendre(n), n))};

{a(n) = if( n<0, 0, 2^sum(k=1, n, n\2^k))};

{ for (n=0, 200, s=0; d=2; while (n>=d, s+=n\d; d*=2); write("b060818.txt", n, " ", 2^s); ) } \\ Harry J. Smith, Jul 12 2009

def A060818(n):
    A005187 = lambda n: A005187(n//2) + n if n > 0 else 0
    return 2^A005187(n//2)
[A060818(i) for i in (0..34)]  # Peter Luschny, Nov 16 2012

a(n) = 2^(floor(n/2) + floor(n/4) + floor(n/8) + floor(n/16) + ...).
a(n) = 2^(A011371(n)).
a(n) = gcd(n!, 2^n). - Labos Elemer, Apr 22 2003
a(n) = denominator(L(n)) with rational L(n):=binomial(2*n,n)/2^n. L(n) is the leading coefficient of the Legendre polynomial P_n(x).
L(n) = (2*n-1)!!/n!, with the double factorial (2*n-1)!! = A001147(n), n>=0.
a(n) = Product_{i=1..n} A006519(i). - Tom Edgar, Apr 30 2014
a(n) = (n! XOR floor(n!/2)) XOR (n!-1 XOR floor((n!-1)/2)). - Gary Detlefs, Jun 13 2014
a(n) = denominator(Catalan(n-1)/2^(n-1)) for n>0. - Vincenzo Librandi, Sep 01 2014
a(2*n) = a(2*n+1) = 2^n*a(n). - Robert Israel, Sep 01 2014
a(n) = n!*A063079(n+1)/A334907(n). - Petros Hadjicostas, May 16 2020

Additional comments from Henry Bottomley, May 01 2001

New name from Peter Luschny, Mar 23 2024

A115627 Irregular triangle read by rows: T(n,k) = multiplicity of prime(k) as a divisor of n!.

Original entry on oeis.org

1, 1, 1, 3, 1, 3, 1, 1, 4, 2, 1, 4, 2, 1, 1, 7, 2, 1, 1, 7, 4, 1, 1, 8, 4, 2, 1, 8, 4, 2, 1, 1, 10, 5, 2, 1, 1, 10, 5, 2, 1, 1, 1, 11, 5, 2, 2, 1, 1, 11, 6, 3, 2, 1, 1, 15, 6, 3, 2, 1, 1, 15, 6, 3, 2, 1, 1, 1, 16, 8, 3, 2, 1, 1, 1, 16, 8, 3, 2, 1, 1, 1, 1

Offset: 2

Franklin T. Adams-Watters, Jan 26 2006

The factorization of n! is n! = 2^T(n,1)*3^T(n,2)*...*p_(pi(n))^T(n,pi(n)) where p_k = k-th prime, pi(n) = A000720(n).
Nonzero terms of A085604; T(n,k) = A085604(n,k), k = 1..A000720(n). - Reinhard Zumkeller, Nov 01 2013
For n=2, 3, 4 and 5, all terms of the n-th row are odd. Are there other such rows? - Michel Marcus, Nov 11 2018
From Gus Wiseman, May 15 2019: (Start)
Differences between successive rows are A067255, so row n is the sum of the first n row-vectors of A067255 (padded with zeros on the right so that all n row-vectors have length A000720(n)). For example, the first 10 rows of A067255 are
  {}
  1
  0 1
  2 0
  0 0 1
  1 1 0
  0 0 0 1
  3 0 0 0
  0 2 0 0
  1 0 1 0
with column sums (8,4,2,1), which is row 10.
(End)
For all prime p > 7, 3*p > 2*nextprime(p), so for any n > 21 there will always be a prime p dividing n! with exponent 2 and there are no further rows with all entries odd. - Charlie Neder, Jun 03 2019

			From _Gus Wiseman_, May 09 2019: (Start)
Triangle begins:
   1
   1  1
   3  1
   3  1  1
   4  2  1
   4  2  1  1
   7  2  1  1
   7  4  1  1
   8  4  2  1
   8  4  2  1  1
  10  5  2  1  1
  10  5  2  1  1  1
  11  5  2  2  1  1
  11  6  3  2  1  1
  15  6  3  2  1  1
  15  6  3  2  1  1  1
  16  8  3  2  1  1  1
  16  8  3  2  1  1  1  1
  18  8  4  2  1  1  1  1
(End)
m such that 5^m||101!: floor(log(101)/log(5)) = 2 terms. floor(101/5) = 20. floor(20/5) = 4. So m = u_1 + u_2 = 20 + 4 = 24. - _David A. Corneth_, Jun 22 2014

T. D. Noe, Rows n = 2..300, flattened
H. T. Davis, Tables of the Mathematical Functions, Vols. 1 and 2, 2nd ed., 1963, Vol. 3 (with V. J. Fisher), 1962; Principia Press of Trinity Univ., San Antonio, TX. [Annotated scan of pages 204-208 of Volume 2.] See Table 2 on page 206.
Wenguang Zhai, On the prime power factorization of n!, Journal of Number Theory, Volume 129, Issue 8, August 2009, pages 1820-1836.
Index entries for sequences related to factorial numbers

Row lengths are A000720.
Row-sums are A022559.
Row-products are A135291.
Row maxima are A011371.
Columns include A011371, A054861, A027868, A054896, A090617, A064458, A090620.
Cf. A090622, A090623, A000142, A115628.
Cf. A085604, A141809.
Cf. A034876, A067255, A071626, A076934, A322583, A325272, A325273, A325276, A325508, A325509.

a115627 n k = a115627_tabf !! (n-2) !! (k-1)
a115627_row = map a100995 . a141809_row . a000142
a115627_tabf = map a115627_row [2..]
-- Reinhard Zumkeller, Nov 01 2013

A115627 := proc(n,k) local d,p; p := ithprime(k) ; n-add(d,d=convert(n,base,p)) ; %/(p-1) ; end proc: # R. J. Mathar, Oct 29 2010

Flatten[Table[Transpose[FactorInteger[n!]][[2]], {n, 2, 20}]] (* T. D. Noe, Apr 10 2012 *)
T[n_, k_] := Module[{p, jm}, p = Prime[k]; jm = Floor[Log[p, n]]; Sum[Floor[n/p^j], {j, 1, jm}]]; Table[Table[T[n, k], {k, 1, PrimePi[n]}], {n, 2, 20}] // Flatten (* Jean-François Alcover, Feb 23 2015 *)

a(n)=my(i=2);while(n-primepi(i)>1,n-=primepi(i);i++);p=prime(n-1);sum(j=1,log(i)\log(p),i\=p) \\ David A. Corneth, Jun 21 2014

T(n,k) = Sum_{i=1..inf} floor(n/(p_k)^i). (Although stated as an infinite sum, only finitely many terms are nonzero.)

T(n,k) = Sum_{i=1..floor(log(n)/log(p_k))} floor(u_i) where u_0 = n and u_(i+1) = floor((u_i)/p_k). - David A. Corneth, Jun 22 2014

A336416 Number of perfect-power divisors of n!.

Original entry on oeis.org

1, 1, 1, 1, 3, 3, 7, 7, 11, 18, 36, 36, 47, 47, 84, 122, 166, 166, 221, 221, 346, 416, 717, 717, 1001, 1360, 2513, 2942, 4652, 4652, 5675, 5675, 6507, 6980, 13892, 17212, 20408, 20408, 39869, 45329, 51018, 51018, 68758, 68758, 105573, 138617, 284718, 284718, 338126, 421126

Offset: 0

Gus Wiseman, Jul 22 2020

nonn

A number is a perfect power iff it is 1 or its prime exponents (signature) are not relatively prime.

			The a(1) = 0 through a(9) = 18 divisors:
       1: 1
       2: 1
       6: 1
      24: 1,4,8
     120: 1,4,8
     720: 1,4,8,9,16,36,144
    5040: 1,4,8,9,16,36,144
   40320: 1,4,8,9,16,32,36,64,128,144,576
  362880: 1,4,8,9,16,27,32,36,64,81,128,144,216,324,576,1296,1728,5184

David A. Corneth, Table of n, a(n) for n = 0..9999

The maximum among these divisors is A090630, with quotient A251753.
The version for distinct prime exponents is A336414.
The uniform version is A336415.
Replacing factorials with Chernoff numbers (A006939) gives A336417.
Prime powers are A000961.
Perfect powers are A001597, with complement A007916.
Prime power divisors are counted by A022559.
Cf. A000005, A001221, A001222, A011371, A032741, A118914, A124010, A130091, A327527.
Factorial numbers: A000142, A007489, A027423, A048656, A071626, A181796, A325272, A325273, A325617.

perpouQ[n_]:=Or[n==1,GCD@@FactorInteger[n][[All,2]]>1];
Table[Length[Select[Divisors[n!],perpouQ]],{n,0,15}]

a(n) = sumdiv(n!, d, (d==1) || ispower(d)); \\ Michel Marcus, Aug 19 2020

addhelp(val, "exponent of prime p in n!")
val(n, p) = my(r=0); while(n, r+=n\=p);r
a(n) = {if(n<=3, return(1)); my(pr = primes(primepi(n\2)), v = vector(#pr, i, val(n, pr[i])), res = 1, cv); for(i = 2, v[1], if(issquarefree(i), cv = v\i; res-=(prod(i = 1, #cv, cv[i]+1)-1)*(-1)^omega(i) ) ); res } \\ David A. Corneth, Aug 19 2020

a(p) = a(p-1) for prime p. - David A. Corneth, Aug 19 2020

a(26)-a(34) from Jinyuan Wang, Aug 19 2020

a(35)-a(49) from David A. Corneth, Aug 19 2020

A325617 Multinomial coefficient of the prime signature of n!.

Original entry on oeis.org

1, 1, 1, 2, 4, 20, 105, 840, 3960, 51480, 675675, 10810800, 139675536, 2793510720, 58663725120, 1799020903680, 26985313555200, 782574093100800, 25992639520848000, 857757104187984000, 30021498646579440000, 1563341744336692320000, 64179292662243158400000

Offset: 0

Gus Wiseman, May 12 2019

nonn

Number of permutations of the multiset of prime factors of n!.

			The a(5) = 20 permutations of {2,2,2,3,5}:
  (22235)  (32225)  (52223)
  (22253)  (32252)  (52232)
  (22325)  (32522)  (52322)
  (22352)  (35222)  (53222)
  (22523)
  (22532)
  (23225)
  (23252)
  (23522)
  (25223)
  (25232)
  (25322)

Wikipedia, Multinomial theorem

Cf. A000142, A008480, A011371, A022559, A076934, A108731, A115627, A318762, A325272, A325273, A325508, A325543, A325544, A325609.

Table[Multinomial@@Last/@FactorInteger[n!],{n,0,15}]

a(n) = A318762(A181819(n!)).

A071542 Number of steps to reach 0 starting with n and using the iterated process : x -> x - (number of 1's in binary representation of x).

Original entry on oeis.org

0, 1, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 7, 7, 7, 7, 8, 8, 9, 9, 10, 10, 10, 10, 11, 11, 11, 11, 12, 12, 12, 12, 13, 13, 14, 14, 15, 15, 15, 15, 16, 16, 16, 16, 17, 17, 17, 17, 18, 18, 18, 18, 19, 19, 19, 19, 20, 20, 20, 20, 21, 21, 21, 21, 22, 22, 23, 23, 24, 24, 24, 24, 25, 25, 25, 25

Offset: 0

Benoit Cloitre, Jun 02 2002

			17 (= 10001 in binary) -> 15 (= 1111) -> 11 (= 1011) -> 8 (= 1000) -> 7 (= 111) -> 4 (= 100) -> 3 (= 11) -> 1 -> 0, hence a(17)=8.

Antti Karttunen, Table of n, a(n) for n = 0..131072

Cf. A000120, A011371, A071542, A213706, A213707, A213708, A218254.
A179016 gives the unique infinite sequence whose successive terms are related by this iterated process (in reverse order). Also, it seems that for n>=0, a(A213708(n)) = a(A179016(n+1)) = n.
A213709(n) = a((2^(n+1))-1) - a((2^n)-1).

Table[-1 + Length@ NestWhileList[# - DigitCount[#, 2, 1] &, n, # > 0 &], {n, 0, 75}] (* Michael De Vlieger, Jul 16 2017 *)

for(n=1, 150, s=n; t=0; while(s!=0, t++; s=s-sum(i=1, length(binary(s)), component(binary(s), i))); if(s==0, print1(t, ", "); ); )

a(n)=my(k);while(n,n-=hammingweight(n);k++);k \\ Charles R Greathouse IV, Oct 30 2012
(MIT/GNU Scheme)
;; with memoizing definec-macro:
(definec (A071542 n) (if (zero? n) n (+ 1 (A071542 (- n (A000120 n)))))) ;; Antti Karttunen, Oct 24 2012

a(0)=0, a(n) = 1 + A071542(n - A000120(n)). - Antti Karttunen, Oct 24 2012

It seems that a(n) ~ C n/log(n) asymptotically with C = 1.4... (n = 10^6 gives C = 1.469..., n = 10^7 gives C = 1.4614...).

Starting offset changed to 0 with a(0) prepended as 0 by Antti Karttunen, Oct 24 2012

cp's OEIS Frontend

A071626 Number of distinct exponents in the prime factorization of n!.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A092391 a(n) = n + wt(n), where wt(n) = A000120(n) = binary weight of n.

Views

Author

Keywords

Links

Crossrefs

Programs

Haskell

Mathematica

PARI

Python

Formula

A089633 Numbers having no more than one 0 in their binary representation.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

Python

Python

Formula

A049606 Largest odd divisor of n!.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A294898 Deficiency minus binary weight: a(n) = A033879(n) - A000120(n) = A005187(n) - A000203(n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Scheme

Formula

Extensions

A060818 a(n) = 2^(n - HammingWeight(n)) = 2^(n - BitCount(n)) = 2^(n - A000120(n)).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma