initial version of lehmer's formula
Use primecount namespace (drop any other namespace)