login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A265626 Let S be the set of factorizations of n! where the largest factor is the largest prime <= n, and let f(s) be the least factor in the factorization s. Then a(n) = max f(S). 0

%I #8 Jan 01 2016 20:05:48

%S 2,2,2,2,3,4,3,3,4,7,6,7,7,7,7,10,11,11,11,11,11,13,13,13,13,13,13,17,

%T 17,17,17,17,17,17,17,19,19,19,19,23,23,23,23,23,23,29,29,29,29,29,29,

%U 29,29,29,29,29,29,31,31,31,31,31,31,31,31,37,37

%N Let S be the set of factorizations of n! where the largest factor is the largest prime <= n, and let f(s) be the least factor in the factorization s. Then a(n) = max f(S).

%F a(n) > 5 for n > 10. a(n) < A007918(ceiling(A007917(n)/2)).

%e 2! = 2

%e 3! = 2 * 3

%e 4! = 2^3 * 3

%e 5! = 2 * 3 * 4 * 5

%e 6! = 3^2 * 4^2 * 5

%e 7! = 4 * 5 * 6^2 * 7

%e 8! = 3 * 4^3 * 5 * 6 * 7

%e 9! = 3 * 4^2 * 5 * 6^3 * 7

%e 10! = 4^2 * 5^2 * 6^4 * 7

%e 11! = 7 * 8^2 * 9^2 * 10^2 * 11

%e 12! = 6^5 * 7 * 8 * 10^2 * 11

%e 13! = 7 * 8^2 * 9^2 * 10^2 * 11 * 12 * 13

%e 14! = 7^2 * 8 * 9 * 10^2 * 11 * 12^3 * 13

%e 15! = 7^2 * 9 * 10^3 * 11 * 12^4 * 13

%e 16! = 7^2 * 10^3 * 11 * 12^6 * 13

%e 17! = 10 * 11 * 12^4 * 13 * 14^2 * 15^2 * 16 * 17

%o (PARI) f(n,mn,mx)=if(n%mn,return(0)); n/=mn; if(n==1, return(1)); for(k=mn,mx, if(f(n,k,mx), return(1))); 0

%o a(n)=if(n<6,return(2)); my(p=precprime(n),q=nextprime(p/2),N=n!); forprime(r=q+1,p-1, N/=r^valuation(N,r)); forstep(k=q,3,-1, if(f(N,k,p), return(k)))

%Y Cf. A001055, A007917, A007918, A076716, A177333.

%K nonn

%O 2,1

%A _Charles R Greathouse IV_, Dec 10 2015

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 19 15:11 EDT 2024. Contains 371794 sequences. (Running on oeis4.)