cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Previous Showing 11-11 of 11 results.

A359945 Largest k < n such that n! / k! = m! = A000142(m) for some m.

Original entry on oeis.org

0, 1, 1, 1, 1, 5, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 23, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1
Offset: 1

Views

Author

M. F. Hasler, Jan 19 2023

Keywords

Comments

For n = 0 there is no k < 0 for which k! would be defined, therefore the sequence starts at offset n = 1.
Surányi conjectured (cf. Erdős and Habsieger references and A003135) that a(10) = 7 corresponding to 10! = 7! * 6! is the only nontrivial solution, i.e., other than a(n) = n-1 for n = m! and a(n) = 1 otherwise.

Examples

			For n = 1, the largest k < n is k = 0 and indeed, 1! / 0! = 1! is a factorial number, so a(1) = 0.
Similarly, for all n in A000142, i.e., n = m!, the largest k < n is k = n-1 and n! / (n-1)! = n = m!, so a(n = m!) = n-1.
For n = 10, 10! / 9! = 10 and 10! / 8! = 90 aren't factorial numbers, but 10! / 7! = 10*9*8 = 2*3*4*5*6, so a(10) = 7.
		

Crossrefs

Cf. A000142 (factorial numbers).
Cf. A003135 (n! is a nontrivial product of factorials).

Programs

  • PARI
    a(n)={my(m=1, f=n!); while(n-->m, while(m!*n!1;}

Formula

a(n) > n/2 unless a(n) = 1 or n = 1.
a(n) = n-1 iff n is in A000142 = factorial numbers.
Previous Showing 11-11 of 11 results.