login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A090521
Least k such that floor[n!/k] is prime.
2
1, 2, 7, 7, 19, 22, 17, 74, 29, 76, 67, 49, 31, 43, 95, 59, 31, 41, 173, 79, 94, 73, 233, 107, 73, 29, 43, 201, 89, 274, 191, 349, 346, 199, 173, 249, 89, 373, 662, 197, 453, 166, 257, 865, 487, 254, 149, 852, 758, 389, 181, 151, 699, 634, 577, 542, 199, 61, 278, 482, 467
OFFSET
2,2
COMMENTS
Conjecture: There exists a number k such that for all n > k, a(n) is prime. Motivation: If p is the least prime >n then all the numbers from n to p-1 divide n!. And most of the numbers from p+1 to q also divide n! where q is the least prime > p, etc. and the dividend is composite in almost all cases.
I conjecture the opposite: there are infinitely many composites in this sequence. Indeed, heuristics suggest the composites may be of density 1. - Charles R Greathouse IV, Apr 07 2013
LINKS
Charles R Greathouse IV, Table of n, a(n) for n = 2..1000
Amarnath Murthy, Smarandache Reciprocal Function and an elementary inequality Smarandache Notions Journal, Vol. 11, 2000.
EXAMPLE
a(5)=7 because the first values of floor(5!/k) for k=1,2,... are 120,60,40,30,24,20,17,15,13,12,... and among these the first prime number is 17, corresponding to k=7.
MAPLE
a:= proc(n) local k; for k while not isprime(floor(n!/k)) do od; k end:
seq(a(n), n=2..70); # Emeric Deutsch, Apr 18 2005
MATHEMATICA
lk[n_]:=Module[{f=n!, k=1}, While[!PrimeQ[Floor[f/k]], k++]; k]; Array[lk, 70, 2] (* Harvey P. Dale, Mar 06 2015 *)
PROG
(PARI) a(n)=my(N=n!); for(k=if(n>3, n+1, n-1), N\3+2, if(ispseudoprime(N\k), return(k))) \\ Charles R Greathouse IV, Apr 04 2013
CROSSREFS
Cf. A090522.
Sequence in context: A168278 A267499 A351583 * A090523 A164314 A156003
KEYWORD
nonn
AUTHOR
Amarnath Murthy, Dec 07 2003
EXTENSIONS
More terms from Emeric Deutsch, Apr 18 2005
STATUS
approved