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.

A306772 a(n) is the least number k such that k! is divisible by (k+1)^n but not by (k+1)^(n+1).

Original entry on oeis.org

1, 5, 14, 17, 11, 31, 23, 35, 39, 44, 47, 99, 83, 59, 153, 164, 71, 95, 79, 125, 89, 134, 285, 199, 311, 263, 167, 119, 296, 188, 159, 329, 543, 209, 143, 223, 299, 384, 395, 323, 251, 679, 349, 179, 279, 747, 571, 485, 399, 404, 314, 527, 319, 335, 449, 511, 287, 239, 714
Offset: 0

Views

Author

Jinyuan Wang, Mar 09 2019

Keywords

Comments

k+1 is not a prime.
a(n) + 1 is 17-smooth in DATA. - David A. Corneth, Mar 15 2019
But fails at n 99, 114, 125, 127, 130, 135, 143, 146, ... - Michel Marcus, Apr 30 2019

Examples

			For n = 1, 1! = 1 is not divisible by 2, 2! = 2 is not divisible by 3, 3! = 6 is not divisible by 4, 4! = 24 is not divisible by 5, and 5! = 120 is divisible by 6 but not 36. Therefore a(1) = 5. - _Michael B. Porter_, Apr 21 2019
		

Crossrefs

Programs

  • Mathematica
    Array[Block[{k = 1}, While[Nand[Mod[k!, (k + 1)^#] == 0, Mod[k!, (k + 1)^(# + 1)] != 0], k++]; k] &, 58] (* Michael De Vlieger, Mar 11 2019 *)
  • PARI
    a(n) = {my(k=1); while((k! % (k+1)^n) || !(k! % (k+1)^(n+1)), k++); k; }

Formula

a(n) = A133481(n+1) - 1.
a(n) >= A061768(n).
If n = floor((p^j-1)/(j*(p-1)))-1, a(n) <= p^j-1 for prime p. For example, (p = 2), a(n) <= 2^j-1 for n = floor((2^j-1)/j)-1 (A082482(j)-1).