OFFSET
1,11
COMMENTS
Conjecture: a(n) > 0 for all n > 7.
This implies that there are infinitely many primes of the form 2^k*3^m + 1, where k and m are positive integers.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..5000
EXAMPLE
a(10) = 1 since 2^{phi(5)/2}*3^{phi(5)/4} + 1 = 13 is prime.
a(12) = 1 since 2^{phi(4)/2}*3^{phi(8)/4} + 1 = 13 is prime.
a(35) = 2 since 2^{phi(3)/2}*3^{phi(32)/4} + 1 = 2*3^4 + 1 = 163 and 2^{phi(5)/2}*3^{phi(30)/4} + 1 = 2^2*3^2 + 1 = 37 are both prime.
MATHEMATICA
f[n_, k_]:=f[n, k]=2^(EulerPhi[k]/2)*3^(EulerPhi[n-k]/4)+1
a[n_]:=Sum[If[PrimeQ[f[n, k]], 1, 0], {k, 1, n-1}]
Table[a[n], {n, 1, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Dec 24 2013
STATUS
approved