où -LRB- x -RRB- est la fonction de comptage principal, c'est-à-dire le nombre de primes inférieures ou égales à x.
La principale fonction de comptage est le nombre de primes inférieures ou égales à x.