Quote:
Originally Posted by XYYXF
Yes, the sum should be
Artin*(log log p) + O[1]

I suppose that's equivalent to Artin*(log log p + c) (± prime number irregularities) for some constant c for each base b. At least until I'm more familiar with the niceties of the bigoh notation.