A220656 -id:A220656 - cp's OEIS frontend

A084558 a(0) = 0; for n >= 1: a(n) = largest m such that n >= m!.

0, 1, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5

Offset: 0

Antti Karttunen, Jun 23 2003

For n >= 1, a(n) = the number of significant digits in n's factorial base representation (A007623).
After zero, which occurs once, each n occurs A001563(n) times.
Number of iterations (...(f_4(f_3(f_2(n))))...) such that the result is < 1, where f_j(x):=x/j. - Hieronymus Fischer, Apr 30 2012
For n > 0: a(n) = length of row n in table A108731. - Reinhard Zumkeller, Jan 05 2014

			a(4) = 2 because 2! <= 4 < 3!.

F. Smarandache, "f-Inferior and f-Superior Functions - Generalization of Floor Functions", Arizona State University, Special Collections.

Reinhard Zumkeller, Table of n, a(n) for n = 0..10000
Yi Yuan and Zhang Wenpeng, On the Mean Value of the Analogue of Smarandache Function, Smarandache Notions J., Vol. 15.

A dual to A090529.
Cf. A084555, A084556, A084557.
Cf. A001069, A010096.
Cf. A000142, A001563, A055089, A060130, A111095, A211664, A211670, A108731, A212598, A220656, A220657, A220658, A220659, A231716, A235224, A257510.

a084558 n = a090529 (n + 1) - 1  -- Reinhard Zumkeller, Jan 05 2014

0, seq(m$(m*m!),m=1..5); # Robert Israel, Apr 27 2015

Table[m = 1; While[m! <= n, m++]; m - 1, {n, 0, 104}] (* Jayanta Basu, May 24 2013 *)
Table[Floor[Last[Reduce[x! == n && x > 0, x]]], {n, 120}] (* Eric W. Weisstein, Sep 13 2024 *)

a(n)={my(m=0);while(n\=m++,);m-1} \\ R. J. Cano, Apr 09 2018

def A084558(n):
  i=1
  while n: i+=1; n//=i
  return(i-1)
print(list(map(A084558,range(101)))) # Natalia L. Skirrow, May 28 2023

From Hieronymus Fischer, Apr 30 2012: (Start)
a(n!) = a((n-1)!)+1, for n>1.
G.f.: 1/(1-x)*Sum_{k>=1} x^(k!).
The explicit first terms of the g.f. are: (x+x^2+x^6+x^24+x^120+x^720...)/(1-x).
(End)
Other identities:
For all n >= 0, a(n) = A090529(n+1) - 1. - Reinhard Zumkeller, Jan 05 2014
For all n >= 1, a(n) = A060130(n) + A257510(n). - Antti Karttunen, Apr 27 2015
a(n) ~ log(n^2/(2*Pi)) / (2*LambertW(log(n^2/(2*Pi))/(2*exp(1)))) - 1/2. - Vaclav Kotesovec, Aug 22 2025

Name clarified by Antti Karttunen, Apr 27 2015

A212598 a(n) = n - m!, where m is the largest number such that m! <= n.

Original entry on oeis.org

0, 0, 1, 2, 3, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66

Offset: 1

N. J. A. Sloane, May 22 2012

nonn

The m in definition is given by A084558(n).

Sequence consists of numbers 0..A001563(n)-1 followed by numbers 0..A001563(n+1)-1, and so on. - Antti Karttunen, Dec 17 2012

A. Karttunen, Table of n, a(n) for n = 1..5040

Cf. A136437, A212266, A220656.

f:=proc(n) local i; for i from 0 to n do if i! > n then break; fi; od; n-(i-1)!; end;
[seq(f(n),n=1..70)];

a(n)=my(m); while(m++!<=n,); n-(m-1)! \\ Charles R Greathouse IV, Sep 02 2015

(define (A212598 n) (- n (A000142 (A084558 n))))

a(n) = n-A000142(A084558(n)). - Antti Karttunen, Dec 17 2012

A220655 For n with a unique factorial base representation n = duu! + ... + d22! + d11! (each di in range 0..i, cf. A007623), a(n) = (du+1)u! + ... + (d2+1)2! + (d1+1)1!; a(n) = n + A007489(A084558(n)).

Original entry on oeis.org

2, 5, 6, 7, 8, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99

Offset: 1

Antti Karttunen, Dec 17 2012

nonn

Used for computing A107346.

Term a(n) can be obtained by adding one to each digit of factorial base representation of n (A007623(n)) and then reinterpreting it as a kind of pseudo-factorial base representation, ignoring the fact that now some of the digits might be over the maximum allowed in that position. Please see the example section. - Antti Karttunen, Nov 29 2013

			1 has a factorial base representation A007623(1) = '1', as 1 = 1*1!. Incrementing the digit 1 with 1, we get 2*1! = 2, thus a(1) = 2. (Note that although '2' is not a valid factorial base representation, it doesn't matter here.)
2 has a factorial base representation '10', as 2 = 1*2! + 0*1!. Incrementing the digits by one, we get 2*2! + 1*1! = 5, thus a(2) = 5.
3 has a factorial base representation '11', as 3 = 1*2! + 1*1!. Incrementing the digits by one, we get 2*2! + 2*1! = 6, thus a(3) = 6.

Antti Karttunen, Table of n, a(n) for n = 1..5039

Complement: A220695.
One less than A220656.
Cf. A000142, A003422, A007489, A007623, A084558, A212598, A153880, A231720.

Block[{nn = 66, m = 1}, While[Factorial@ m < nn, m++]; m = MixedRadix[Reverse@ Range[2, m]]; Array[FromDigits[1 + IntegerDigits[#, m], m] &, nn]] (* Michael De Vlieger, Jan 20 2020 *)

;; Standalone iterative implementation (Nov 29 2013):
(define (A220655 n) (let loop ((n n) (z 0) (i 2) (f 1)) (cond ((zero? n) z) (else (loop (quotient n i) (+ (* f (+ 1 (remainder n i))) z) (+ 1 i) (* f i))))))
;; Alternative implementation:
(define (A220655 n) (+ n (A007489 (A084558 n))))

a(n) = A220656(n)-1 = A003422(A084558(n)+1) + A000142(A084558(n)) + A212598(n) - 1. [The original definition]
a(n) = n + A007489(A084558(n)). [The above formula reduces to this, which proves that the original Dec 17 2012 description and the new main description produce the same sequence. Essentially, we are adding to n a factorial base repunit '1...111' with as many fact.base digits as n has.] - Antti Karttunen, Nov 29 2013
For n >= 1, A231720(n) = a(A153880(n)).

Name changed by Antti Karttunen, Nov 29 2013

A220696 The positions of those permutations in A030298 where the first element is one (fixed).

Original entry on oeis.org

1, 2, 4, 5, 10, 11, 12, 13, 14, 15, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179

Offset: 1

Antti Karttunen, Dec 17 2012

nonn

Correspondingly gives the positions of those terms in A030299 whose first digit is 1, as long as the decimal encoding system employed is valid.

A. Karttunen, Table of n, a(n) for n = 1..5914

Complement: A220656. Cf. A072795.

a(1)=1; and for n>1, a(n)=A220695(n-1)+1.

cp's OEIS Frontend

A084558 a(0) = 0; for n >= 1: a(n) = largest m such that n >= m!.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

Extensions

A212598 a(n) = n - m!, where m is the largest number such that m! <= n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

PARI

Scheme

Formula

A220655 For n with a unique factorial base representation n = du*u! + ... + d2*2! + d1*1! (each di in range 0..i, cf. A007623), a(n) = (du+1)*u! + ... + (d2+1)*2! + (d1+1)*1!; a(n) = n + A007489(A084558(n)).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Scheme

Formula

Extensions

A220696 The positions of those permutations in A030298 where the first element is one (fixed).

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A220655 For n with a unique factorial base representation n = duu! + ... + d22! + d11! (each di in range 0..i, cf. A007623), a(n) = (du+1)u! + ... + (d2+1)2! + (d1+1)1!; a(n) = n + A007489(A084558(n)).