OFFSET
1,1
COMMENTS
As expected, the (single) non-unitary prime divisors for C(2k, k) and C(k, floor(k/2)) or for Catalan numbers equally come from the smallest prime(s).
a(56) > 5*10^6 if it exists. - David A. Corneth, Apr 03 2021
EXAMPLE
For k=341, binomial(341,170) = 2*2*2*2*M, where M is a squarefree product of 48 further prime factors.
MATHEMATICA
pde1Q[n_]:=Length[Select[FactorInteger[Binomial[n, Floor[n/2]]], #[[2]]> 1&]] == 1; Select[Range[1600], pde1Q] (* Harvey P. Dale, Jan 21 2019 *)
PROG
(PARI) isok(n) = my(f=factor(binomial(n, n\2))); #select(x->(x>1), f[, 2]) == 1; \\ Michel Marcus, Jul 30 2017
(PARI) is(n) = { my(nf2 = n\2, nmnf2 = n-nf2, t); forprime(p = 2, n, if(val(n, p) - val(nf2, p) - val(nmnf2, p) > 1, t++; if(t > 1, return(0) ) ) ); t==1 }
val(n, p) = my(r=0); while(n, r+=n\=p); r \\ David A. Corneth, Apr 03 2021
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Labos Elemer, Mar 27 2003
EXTENSIONS
a(52)-a(55) from Michel Marcus, Jul 30 2017
STATUS
approved