OFFSET
1,7
COMMENTS
The expression (2*n)!/n!^2 is taken from C(2*n+1,n+1) - C(2*n,n) = (2*n)!/(n!^2*(n/(n+1)) = sum(k=1,n,C(n,k)*C(n,k-1)). This was posed in the Yahoo Group MathForFun, see link.
LINKS
MathForFun, Binomial Identity.
Kenneth Ramsey, Cino Hilliard and others, Binomial Identity ..Hard to Prove this?, digest of 6 messages in mathforfun Yahoo group, Oct 30 - Nov 10, 2008. [Cached copy]
EXAMPLE
(2*10)!/10!^2 = 184756 = 2*2*11*13*17*19 which has 5 distinct divisors. Pi(2*10) = 8. 8-5=3 = a(10).
MATHEMATICA
Table[PrimePi[2n]-PrimeNu[(2n)!/(n!)^2], {n, 100}] (* Harvey P. Dale, Oct 30 2021 *)
PROG
(PARI) g2(n) = for(x=1, n, ct=omega((2*x)!/x!^2); print1(primepi(2*x)-ct", "))
(Magma) [#PrimesUpTo(2*n) - #PrimeDivisors( Factorial(2*n) div Factorial(n)^2):n in [1..91]]; // Marius A. Burtea, Nov 16 2019
CROSSREFS
KEYWORD
nonn
AUTHOR
Cino Hilliard, Nov 15 2008
EXTENSIONS
Corrected the link. - Cino Hilliard, Nov 18 2008
STATUS
approved