OFFSET
1,6
COMMENTS
Conjecture: a(n) > 0 for all n >= 180.
Clearly, this implies that there are infinitely many primes of the form C(2*n,n) - 1. We have verified the conjecture for n up to 10000.
Note that every n = 400, ..., 9123 can be written as k + m with k > 0 and m > 0 such that f(k, m) = sigma(k) + phi(m) is even and C(f(k, m) + 2, f(k, m)/2 + 1) + 1 is prime, but this fails for n = 9124.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..2000
EXAMPLE
a(5) = 1 since 5 = 1 + 4 with C(2*sigma(1) + phi(4), sigma(1) + phi(4)/2) - 1 = C(4, 2) - 1 = 5 prime.
a(28) = 1 since 28 = 2 + 26 with C(2*sigma(2) + phi(26), sigma(2) + phi(26)/2) - 1 = C(18, 9) - 1 = 48619 prime.
MATHEMATICA
sigma[n_] := DivisorSigma[1, n];
f[n_, k_] := Binomial[2*sigma[k] + EulerPhi[n-k], sigma[k] + EulerPhi[n-k]/2] - 1;
a[n_] := Sum[If[PrimeQ[f[n, k]], 1, 0], {k, 1, n-3}];
Table[a[n], {n, 1, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Jan 01 2014
STATUS
approved