|
|
A220314
|
|
binomial(2n,n) - (2n)^pi(n), where pi(n) is the number of primes <= n.
|
|
2
|
|
|
1, 2, -16, 6, -748, -804, -34984, -52666, -56356, 24756, -4448200, -5258468, -298515176, -441773704, -573882480, -472661434, -50189743924, -69289028796, -4312446874696, -6415753471180, -9144394121976, -11944124661496, -913956731941456, -1320357856911588
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
a(n) is strictly positive for all n >= 202. In fact, Erdos and Ecklund-Eggleton proved more generally that binomial(k,n) > k^pi(n) if n >= 202 and k >= 2n. This theorem implies Sylvester's theorem. For the latter and references, see A213253.
|
|
LINKS
|
|
|
FORMULA
|
|
|
EXAMPLE
|
a(2) = binomial(4,2) - 4^pi(2) = 6 - 4 = 2.
|
|
MATHEMATICA
|
Table[Binomial[2n, n] - (2n)^PrimePi[n], {n, 32}]
|
|
CROSSREFS
|
|
|
KEYWORD
|
sign
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|