PrimePi[10000]