Further Examples: PrimePi

Here are the number of primes up to , , ..., .

In[1]:=

Out[1]=

Here is an inequality satisfied by PrimePi.

In[2]:=

Out[2]=

gives a fair approximation to PrimePi[x].

In[3]:=

LogIntegral[x] gives a better approximation to PrimePi[x].

In[4]:=