OFFSET
1,1
COMMENTS
It is conjectured that n^2 < P(n)! for almost all n.
LINKS
Charles R Greathouse IV, Table of n, a(n) for n = 1..10000
J. Sondow, A geometric proof that e is irrational and a new measure of its irrationality, Amer. Math. Monthly 113 (2006) 637-641.
J. Sondow, A geometric proof that e is irrational and a new measure of its irrationality, arXiv:0704.1282 [math.HO], 2007-2010.
J. Sondow and E. W. Weisstein, MathWorld: Smarandache Function
EXAMPLE
15^2 = 225 > 120 = 5! = P(15)!, so 15 is a member.
MATHEMATICA
Reap[For[n = 2, n <= 250, n++, If[n^2 > FactorInteger[n][[-1, 1]]!, Print[n]; Sow[n]]]][[2, 1]] (* Jean-François Alcover, Feb 04 2019 *)
PROG
(PARI) smooth(P:vec, lim)=my(v=List([1]), nxt=vector(#P, i, 1), indx, t); while(1, t=vecmin(vector(#P, i, v[nxt[i]]*P[i]), &indx); if(t>lim, break); if(t>v[#v], listput(v, t)); nxt[indx]++); Vec(v)
list(lim)=my(v=List([2]), u, lower, upper=2, p=2); while(1, lower=upper+1; p=nextprime(p+1); upper=min(sqrtint(p!), lim); if(lower>lim, break); u=select(q->q>=lower, smooth(primes([2, p-1]), upper)); for(i=1, #u, listput(v, u[i]))); Vec(v) \\ Charles R Greathouse IV, Nov 09 2021
CROSSREFS
KEYWORD
nonn
AUTHOR
Jonathan Sondow, Sep 03 2006
STATUS
approved